| Sat, 24 Feb 2024 22:07:21 +0100 | wenzelm | clarified IPC via database server: receive notifications quasi-spontaneously via auxiliary thread; | changeset | files |
| Sat, 24 Feb 2024 16:30:25 +0100 | wenzelm | minor performance tuning: just 1 transaction for slices <= 1; | changeset | files |
| Sat, 24 Feb 2024 15:10:50 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 24 Feb 2024 11:27:04 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 24 Feb 2024 11:05:11 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 24 Feb 2024 10:55:16 +0100 | wenzelm | clarified signature: fewer warnings in IntelliJ IDEA; | changeset | files |
| Sat, 24 Feb 2024 10:21:41 +0100 | wenzelm | removed unused database_server (amending 32ca3d1283de); | changeset | files |