| Sun, 14 May 2017 17:19:22 +0200 | wenzelm | prefer explicit progress channel; | changeset | files |
| Sun, 14 May 2017 17:08:12 +0200 | wenzelm | more explicit warning/error messages; | changeset | files |
| Sun, 14 May 2017 17:05:06 +0200 | wenzelm | tuned signature; | changeset | files |