| Sat, 04 Aug 2018 00:19:23 +0100 | paulson | merged | changeset | files |
| Sat, 04 Aug 2018 00:19:15 +0100 | paulson | de-applying | changeset | files |
| Fri, 03 Aug 2018 21:38:54 +0200 | wenzelm | tuned output; | changeset | files |
| Fri, 03 Aug 2018 20:14:13 +0200 | wenzelm | tuned signature -- removed somewhat pointless operation; | changeset | files |