| 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 |