wenzelm [Tue, 22 Aug 2023 09:39:37 +0200] rev 78559
tuned signature;
wenzelm [Tue, 22 Aug 2023 09:28:44 +0200] rev 78558
tuned signature;
wenzelm [Mon, 21 Aug 2023 20:40:15 +0200] rev 78557
proper sequential evaluation;
wenzelm [Mon, 21 Aug 2023 15:54:08 +0200] rev 78556
more robust command options;
wenzelm [Mon, 21 Aug 2023 15:28:35 +0200] rev 78555
performance tuning: avoid redundant db access;
wenzelm [Mon, 21 Aug 2023 15:04:22 +0200] rev 78554
clarified signature: proper treatment of implicit state (amending d0c9d277620e);
wenzelm [Mon, 21 Aug 2023 13:01:45 +0200] rev 78553
performance tuning: avoid redundant db access;
wenzelm [Mon, 21 Aug 2023 12:40:33 +0200] rev 78552
performance tuning: avoid multiple db roundtrips;
wenzelm [Mon, 21 Aug 2023 12:34:53 +0200] rev 78551
clarified signature: more robust treatment of implicit state;
wenzelm [Mon, 21 Aug 2023 11:56:07 +0200] rev 78550
proper sync_database for Database_Progress consumer;
more efficient (but less reactive) Database_Progress.stopped;