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 |
Sun, 05 Mar 2023 16:14:48 +0100 | wenzelm | clarified protocol for "verbose" messages; | file | diff | annotate |