diff options
Diffstat (limited to 'changes/ticket6997')
-rw-r--r-- | changes/ticket6997 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/changes/ticket6997 b/changes/ticket6997 new file mode 100644 index 0000000000..0a33b37552 --- /dev/null +++ b/changes/ticket6997 @@ -0,0 +1,2 @@ + o Minor bugfixes: + - Command-line option "--version" implies "--quiet". Closes ticket #6997. |