summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Changes2
1 files changed, 1 insertions, 1 deletions
diff --git a/Changes b/Changes
index fa78c0656..84853deca 100644
--- a/Changes
+++ b/Changes
@@ -5,7 +5,6 @@ Bug fixes:
- PR#5327: (Windows) Unix.select blocks if same socket listed in first and
third arguments
- PR#5551: Avoid repeated lookups for missing cmi files
-- PR#5620: invalid printing of type manifest (camlp4 revised syntax)
OCaml 4.00.0:
-------------
@@ -146,6 +145,7 @@ Bug Fixes:
- PR#5560: incompatible type for tuple pattern with -principal
- PR#5603: wrong .file debug info generated by ocamlopt -g
- PR#5610: new unmarshaler (from PR#5318) fails to freshen object identifiers
+- PR#5620: invalid printing of type manifest (camlp4 revised syntax)
- problem with printing of string literals in camlp4 (reported on caml-list)
- emacs mode: colorization of comments and strings now works correctly