| Thu, 14 Dec 2023 13:03:33 +0100 | Fabian Huch | proper closing order; | changeset | files |
| Wed, 13 Dec 2023 11:14:11 +0100 | Fabian Huch | read serial for schedules (amending 2039f360); | changeset | files |
| Mon, 18 Dec 2023 22:49:33 +0100 | wenzelm | more thorough beta contraction; | changeset | files |
| Mon, 18 Dec 2023 22:11:13 +0100 | wenzelm | tuned whitespace; | changeset | files |