wenzelm [Sat, 09 Mar 2024 10:57:28 +0100] rev 79822
tuned;
wenzelm [Sat, 09 Mar 2024 10:49:12 +0100] rev 79821
tuned signature;
wenzelm [Fri, 08 Mar 2024 21:15:35 +0100] rev 79820
clarified signature;
wenzelm [Fri, 08 Mar 2024 20:38:19 +0100] rev 79819
tuned;
wenzelm [Fri, 08 Mar 2024 20:29:05 +0100] rev 79818
more operations for Build_Log.Meta_Info: prefer explicit types;
wenzelm [Fri, 08 Mar 2024 20:28:29 +0100] rev 79817
more operations for Date and Time;
wenzelm [Fri, 08 Mar 2024 20:03:21 +0100] rev 79816
more accurate patterns --- reverting unused fc3ba0a1c82f;
wenzelm [Fri, 08 Mar 2024 19:18:39 +0100] rev 79815
remove unused/fragile option (amending db37cae970a6) --- universal_table requires pull_date tables;
wenzelm [Fri, 08 Mar 2024 19:04:18 +0100] rev 79814
prefer explicit option "build_log_verbose";
wenzelm [Fri, 08 Mar 2024 18:58:49 +0100] rev 79813
tuned whitespace;
wenzelm [Fri, 08 Mar 2024 18:29:21 +0100] rev 79812
additional build_log column "session_start", with implicit upgrade of database schema;
wenzelm [Fri, 08 Mar 2024 14:14:05 +0100] rev 79811
more robust build_start for master and workers (via database);
wenzelm [Fri, 08 Mar 2024 13:05:01 +0100] rev 79810
more accurate progress.now(), notably for Database_Progress;
wenzelm [Fri, 08 Mar 2024 11:09:44 +0100] rev 79809
update NEWS;