Merge branch 'mm/die-with-dashdash-help'

diff --git a/RelNotes b/RelNotes
index bcb4fb98ff925389797125283e40c6e397efc1fd..19bb2ebbe687d9ded1a5c82d28d4410de1e2f19f 120000 (symlink)
--- a/RelNotes
+++ b/RelNotes
@@ -1 +1 @@
-Documentation/RelNotes/1.7.11.txt
\ No newline at end of file
+Documentation/RelNotes/1.7.12.txt
\ No newline at end of file