| 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 |
| Fri, 08 Mar 2024 13:05:01 +0100 | wenzelm | more accurate progress.now(), notably for Database_Progress; | changeset | files |
| Fri, 08 Mar 2024 11:09:44 +0100 | wenzelm | update NEWS; | changeset | files |
| Fri, 08 Mar 2024 10:57:59 +0100 | wenzelm | activate E 3.0 after testing by Martin Desharnais, see also db72d9920186 and 788f11af9822; | changeset | files |
| Thu, 07 Mar 2024 23:58:01 +0100 | desharna | merged | changeset | files |