| Wed, 13 Mar 2024 23:27:44 +0100 | wenzelm | merged | changeset | files |
| Wed, 13 Mar 2024 23:26:30 +0100 | wenzelm | revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards "editing" builds via added/canceled workers; | changeset | files |
| Wed, 13 Mar 2024 17:36:35 +0100 | wenzelm | database performance tuning: prefer light-weight IPC over heavy-duty transactions, following bf377e10ff3b; | changeset | files |
| Wed, 13 Mar 2024 16:14:23 +0100 | wenzelm | tuned; | changeset | files |