| Mon, 01 Mar 2021 23:17:47 +0100 | wenzelm | tuned --- fewer warnings; | changeset | files |
| Mon, 01 Mar 2021 22:50:00 +0100 | wenzelm | tuned --- avoid deprecated conversions between certain number type; | changeset | files |
| Mon, 01 Mar 2021 22:37:33 +0100 | wenzelm | tuned --- avoid deprecated Predef.any2stringadd; | changeset | files |