| Mon, 24 Sep 2018 14:58:15 +0200 | wenzelm | clarified message; | changeset | files |
| Mon, 24 Sep 2018 13:01:25 +0200 | wenzelm | tuned signature: more explicit types; | changeset | files |
| Mon, 24 Sep 2018 12:16:19 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 24 Sep 2018 12:07:17 +0200 | wenzelm | eliminated dead code (see b806a7678083); | changeset | files |