From 579b5b4483f191fdfd9f14ab874da416ed90a918 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 19 Nov 2008 14:27:13 +0000 Subject: [PATCH] update release notes for 4.1.3 (should be merged) svn: r12506 original commit: 894224bc5256aeeadac8204a1a0424487681bc7c --- doc/release-notes/mred/HISTORY.txt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/doc/release-notes/mred/HISTORY.txt b/doc/release-notes/mred/HISTORY.txt index 6b682db1..1d97658d 100644 --- a/doc/release-notes/mred/HISTORY.txt +++ b/doc/release-notes/mred/HISTORY.txt @@ -1,3 +1,9 @@ +Version 4.1.3, November 2008 + +Minor bug fixes + +---------------------------------------------------------------------- + Version 4.1.2, October 2008 Changed -z/--text-repl to a configuration option