| Wed, 22 Nov 2023 15:39:39 +0100 | Fabian Huch | clarified ready vs. next ready; | file | diff | annotate |
| Fri, 10 Nov 2023 14:42:07 +0100 | Fabian Huch | finalize current sessions before generating schedule; | file | diff | annotate |
| Fri, 10 Nov 2023 14:07:36 +0100 | Fabian Huch | clarified signature: more operations; | file | diff | annotate |
| Fri, 03 Nov 2023 19:10:21 +0100 | wenzelm | proper option; | file | diff | annotate |
| Wed, 18 Oct 2023 20:26:02 +0200 | Fabian Huch | always use host database and make protected; | file | diff | annotate |
| Wed, 18 Oct 2023 20:07:54 +0200 | Fabian Huch | prefer extensible next_node_info in build process over process_options in build engine (which needs the final node info anyway); | file | diff | annotate |
| Wed, 18 Oct 2023 19:53:39 +0200 | Fabian Huch | added start date to build jobs, e.g., for build time estimation; | file | diff | annotate |