From 6ddfe0a6ec6bef7815721eeea473ac2d1d53650a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 27 Jul 2006 03:28:58 +0000 Subject: [PATCH] 352 svn: r3833 original commit: ce1ab948773b4a4f27f3bc1e903c5c2038a81518 --- doc/release-notes/mred/HISTORY | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/doc/release-notes/mred/HISTORY b/doc/release-notes/mred/HISTORY index 753c10cd..1ce98c7a 100644 --- a/doc/release-notes/mred/HISTORY +++ b/doc/release-notes/mred/HISTORY @@ -1,4 +1,10 @@ +Version 352, July 2006 + +Minor bug fixes + +---------------------------------------------------------------------- + Version 351, July 2006 Changed the shortcut type for selectable-menu-item<%> to allow