Thu, 22 Feb 2024 14:17:40 +0100 wenzelm proper usage;
Thu, 22 Feb 2024 14:08:31 +0100 wenzelm recover "build_database_server" from 1fa1b32b0379: still required, e.g. in build_benchmark;
Thu, 22 Feb 2024 13:57:13 +0100 wenzelm clarified signature;
Thu, 22 Feb 2024 13:27:15 +0100 wenzelm more robust: make double-sure that heap digest is present;
Thu, 22 Feb 2024 13:24:26 +0100 wenzelm tuned;
Thu, 22 Feb 2024 13:19:36 +0100 wenzelm minor performance tuning: just one transaction for log_db without heap;
Thu, 22 Feb 2024 13:12:10 +0100 wenzelm tuned;
Thu, 22 Feb 2024 13:00:58 +0100 wenzelm proper store.cache.compress;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 tip