Mon, 20 Feb 2023 21:04:49 +0100 wenzelm clarified signature: more concise operations;
Mon, 20 Feb 2023 17:13:19 +0100 wenzelm clarified modules: NUMA is managed by Build_Process;
Mon, 20 Feb 2023 17:10:22 +0100 wenzelm tuned signature;
Mon, 20 Feb 2023 16:36:03 +0100 wenzelm clarified signature: move all parameters into Build_Process.Context;
Mon, 20 Feb 2023 11:38:21 +0100 wenzelm clarified signature;
Mon, 20 Feb 2023 11:34:31 +0100 wenzelm more elementary data structures, to fit better to SQL database;
Mon, 20 Feb 2023 10:51:16 +0100 wenzelm clarified signature (see also 68a7ad1385bc);
Mon, 20 Feb 2023 10:42:07 +0100 wenzelm clarified signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 tip