| Tue, 12 Mar 2024 15:57:25 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 12 Mar 2024 15:31:44 +0100 | wenzelm | merged | changeset | files |
| Tue, 12 Mar 2024 15:30:32 +0100 | wenzelm | database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb); | changeset | files |
| Tue, 12 Mar 2024 15:11:29 +0100 | wenzelm | tuned signature: more operations; | changeset | files |
| Tue, 12 Mar 2024 13:17:25 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Tue, 12 Mar 2024 11:18:38 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 12 Mar 2024 11:16:06 +0100 | wenzelm | removed somewhat pointless check; | changeset | files |