| Thu, 22 Feb 2024 17:24:43 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 22 Feb 2024 17:21:13 +0100 | wenzelm | tuned, following 7a1153c95bf9; | changeset | files |
| Thu, 22 Feb 2024 16:31:58 +0100 | wenzelm | merged | changeset | files |
| Thu, 22 Feb 2024 14:51:05 +0100 | wenzelm | tuned signature: fewer warnings in IntelliJ IDEA; | changeset | files |
| Thu, 22 Feb 2024 14:17:40 +0100 | wenzelm | proper usage; | changeset | files |
| Thu, 22 Feb 2024 14:08:31 +0100 | wenzelm | recover "build_database_server" from 1fa1b32b0379: still required, e.g. in build_benchmark; | changeset | files |
| Thu, 22 Feb 2024 13:57:13 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 22 Feb 2024 13:27:15 +0100 | wenzelm | more robust: make double-sure that heap digest is present; | changeset | files |