| Sun, 29 Oct 2023 18:49:42 +0100 | wenzelm | performance tuning: more careful database access; | changeset | files |
| Sun, 29 Oct 2023 11:57:01 +0100 | wenzelm | clarified message; | changeset | files |
| Sun, 29 Oct 2023 11:49:33 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 29 Oct 2023 11:39:17 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 28 Oct 2023 19:13:02 +0200 | wenzelm | prefer old-style import "=>"; | changeset | files |
| Sat, 28 Oct 2023 17:35:26 +0200 | wenzelm | merged | changeset | files |
| Thu, 26 Oct 2023 22:44:31 +0200 | wenzelm | redundant (see also 3069da1743bc); | changeset | files |