| Wed, 03 Aug 2022 12:25:23 +0200 | wenzelm | avoid redundant dependencies.load_commands with potential errors (amending ea4f86914cb2); | changeset | files |
| Wed, 03 Aug 2022 12:18:55 +0200 | wenzelm | tuned signature -- avoid redundant arguments; | changeset | files |
| Wed, 03 Aug 2022 12:14:58 +0200 | wenzelm | tuned -- following hints by IntelliJ IDEA; | changeset | files |
| Wed, 03 Aug 2022 12:10:52 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 03 Aug 2022 11:43:14 +0200 | wenzelm | tuned comments; | changeset | files |
| Wed, 03 Aug 2022 11:23:12 +0200 | wenzelm | removed somewhat pointless transaction: db is meant to be finished (or updated monotonically); | changeset | files |
| Tue, 02 Aug 2022 19:25:37 +0200 | wenzelm | tuned signature; | changeset | files |