diff --git a/doc/release-notes/drscheme/HISTORY.txt b/doc/release-notes/drscheme/HISTORY.txt index e7f211d9e7..24f8585819 100644 --- a/doc/release-notes/drscheme/HISTORY.txt +++ b/doc/release-notes/drscheme/HISTORY.txt @@ -1,3 +1,9 @@ +------------------------------ + Version 4.2 +------------------------------ + + . Minor bug fixes + ------------------------------ Version 4.1.5 ------------------------------