| Mon, 13 Jan 2020 12:09:28 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 13 Jan 2020 11:19:24 +0100 | wenzelm | clarified output channel; | changeset | files |
| Mon, 13 Jan 2020 11:18:31 +0100 | wenzelm | clarified option -f: avoid accidental target_clean for proper release snapshot; | changeset | files |