| Sat, 02 Jan 2021 16:30:43 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 02 Jan 2021 16:12:52 +0100 | wenzelm | clarified boundary case; | changeset | files |
| Sat, 02 Jan 2021 16:09:45 +0100 | wenzelm | more uniform default --- hardly relevant in practice; | changeset | files |
| Sat, 02 Jan 2021 16:07:40 +0100 | wenzelm | proper ssh_port (amending ffd8283b7be0); | changeset | files |