| Thu, 07 Dec 2023 13:53:54 +0100 | Fabian Huch | clarified; | changeset | files |
| Fri, 08 Dec 2023 12:11:22 +0100 | Fabian Huch | tuned; | changeset | files |
| Thu, 07 Dec 2023 11:34:01 +0100 | Fabian Huch | use build database to synchronize build schedule computed on master node (e.g., such that view on cluster is consistent); | changeset | files |