wenzelm [Mon, 08 Jan 2024 23:17:32 +0100] rev 79441
clarified signature;
minor performance tuning;
wenzelm [Mon, 08 Jan 2024 22:53:38 +0100] rev 79440
tuned;
wenzelm [Mon, 08 Jan 2024 22:26:04 +0100] rev 79439
minor performance tuning;
eliminate clones;
wenzelm [Mon, 08 Jan 2024 21:54:20 +0100] rev 79438
minor performance tuning;
wenzelm [Mon, 08 Jan 2024 21:53:27 +0100] rev 79437
minor performance tuning;
wenzelm [Mon, 08 Jan 2024 21:53:16 +0100] rev 79436
minor performance tuning;
wenzelm [Mon, 08 Jan 2024 21:46:43 +0100] rev 79435
minor performance tuning;
wenzelm [Mon, 08 Jan 2024 21:46:26 +0100] rev 79434
minor performance tuning;
wenzelm [Mon, 08 Jan 2024 21:30:21 +0100] rev 79433
minor performance tuning;
wenzelm [Mon, 08 Jan 2024 13:41:45 +0100] rev 79432
tuned;