| Fri, 08 Apr 2022 16:26:48 +0200 | wenzelm | tuned --- fewer warnings in scala3; | changeset | files |
| Fri, 08 Apr 2022 15:56:14 +0200 | wenzelm | tuned -- avoid warnings for scala3; | changeset | files |
| Fri, 08 Apr 2022 15:49:33 +0200 | wenzelm | tuned signature -- avoid warnings for scala3; | changeset | files |