| Wed, 28 Jun 2023 16:01:34 +0200 | wenzelm | merged | changeset | files |
| Wed, 28 Jun 2023 14:45:29 +0200 | wenzelm | proper build_master.build_uuid; | changeset | files |
| Wed, 28 Jun 2023 13:30:53 +0200 | wenzelm | proper session_init *after* deleting db files (amending af6c493b0441); | changeset | files |
| Wed, 28 Jun 2023 12:39:43 +0200 | wenzelm | clarified signature: more concise data; | changeset | files |