| Tue, 05 Mar 2024 16:06:06 +0100 | wenzelm | prefer dynamic objects, following a5fda30edae2; | file | diff | annotate |
| Mon, 13 Mar 2023 15:53:31 +0100 | wenzelm | clarified signature: prefer explicit types; | file | diff | annotate |
| Sun, 05 Mar 2023 16:36:18 +0100 | wenzelm | clarified signature: manage "verbose" flag via "progress"; | file | diff | annotate |