diff --git a/doc/release-notes/mred/HISTORY.txt b/doc/release-notes/mred/HISTORY.txt index 7e0ec1b3..6b682db1 100644 --- a/doc/release-notes/mred/HISTORY.txt +++ b/doc/release-notes/mred/HISTORY.txt @@ -1,4 +1,4 @@ -Version 4.1.1.1 +Version 4.1.2, October 2008 Changed -z/--text-repl to a configuration option