| Mon, 25 Jul 2022 14:40:45 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 25 Jul 2022 11:19:08 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 25 Jul 2022 06:31:32 +0000 | haftmann | Avoid shadowing original List._ namespace. | changeset | files |