| Fri, 08 Mar 2024 20:03:21 +0100 | wenzelm | more accurate patterns --- reverting unused fc3ba0a1c82f; | changeset | files |
| Fri, 08 Mar 2024 19:18:39 +0100 | wenzelm | remove unused/fragile option (amending db37cae970a6) --- universal_table requires pull_date tables; | changeset | files |
| Fri, 08 Mar 2024 19:04:18 +0100 | wenzelm | prefer explicit option "build_log_verbose"; | changeset | files |
| Fri, 08 Mar 2024 18:58:49 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 08 Mar 2024 18:29:21 +0100 | wenzelm | additional build_log column "session_start", with implicit upgrade of database schema; | changeset | files |
| Fri, 08 Mar 2024 14:14:05 +0100 | wenzelm | more robust build_start for master and workers (via database); | changeset | files |