wenzelm [Wed, 03 Aug 2022 12:25:37 +0200] rev 75745
avoid multiple load_commands;
wenzelm [Wed, 03 Aug 2022 12:25:23 +0200] rev 75744
avoid redundant dependencies.load_commands with potential errors (amending ea4f86914cb2);
wenzelm [Wed, 03 Aug 2022 12:18:55 +0200] rev 75743
tuned signature -- avoid redundant arguments;
wenzelm [Wed, 03 Aug 2022 12:14:58 +0200] rev 75742
tuned -- following hints by IntelliJ IDEA;
wenzelm [Wed, 03 Aug 2022 12:10:52 +0200] rev 75741
tuned signature;
wenzelm [Wed, 03 Aug 2022 11:43:14 +0200] rev 75740
tuned comments;
wenzelm [Wed, 03 Aug 2022 11:23:12 +0200] rev 75739
removed somewhat pointless transaction: db is meant to be finished (or updated monotonically);
wenzelm [Tue, 02 Aug 2022 19:25:37 +0200] rev 75738
tuned signature;
wenzelm [Tue, 02 Aug 2022 16:02:06 +0200] rev 75737
clarified signature;
wenzelm [Tue, 02 Aug 2022 15:53:48 +0200] rev 75736
clarified signature: avoid repeated db_context.input_database;
wenzelm [Tue, 02 Aug 2022 15:49:57 +0200] rev 75735
clarified signature: more robust;
wenzelm [Tue, 02 Aug 2022 12:57:04 +0200] rev 75734
removed somewhat pointless operations (see a6c69599ab99);
wenzelm [Sat, 30 Jul 2022 14:49:22 +0200] rev 75733
clarified signature;
wenzelm [Sat, 30 Jul 2022 14:13:43 +0200] rev 75732
tuned;
wenzelm [Sat, 30 Jul 2022 14:00:03 +0200] rev 75731
tuned;
wenzelm [Sat, 30 Jul 2022 13:58:01 +0200] rev 75730
clarified signature;
wenzelm [Sat, 30 Jul 2022 13:53:15 +0200] rev 75729
clarified names;
wenzelm [Sat, 30 Jul 2022 13:44:26 +0200] rev 75728
clarified signature;
wenzelm [Sat, 30 Jul 2022 13:06:19 +0200] rev 75727
clarified names;
wenzelm [Sat, 30 Jul 2022 11:35:04 +0200] rev 75726
clarified signature;
wenzelm [Sat, 30 Jul 2022 11:10:39 +0200] rev 75725
clarified signature: more explicit types;
wenzelm [Fri, 29 Jul 2022 16:37:36 +0200] rev 75724
unused (see 0d30ea76756c);
wenzelm [Fri, 29 Jul 2022 16:21:19 +0200] rev 75723
tuned;
wenzelm [Fri, 29 Jul 2022 16:04:56 +0200] rev 75722
clarified signature;