diff options
Diffstat (limited to 'Changes')
-rw-r--r-- | Changes | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -54,7 +54,7 @@ Bug Fixes: - PR#5436: update object ids on unmarshaling - PR#5453: configure doesn't find X11 under Ubuntu/MultiarchSpec - emacs mode: colorization of comments and strings now works correctly - +- PR#5469: private record type generated by functor loses abbreviation Feature wishes: - PR#352: new option "-stdin" to make ocaml read stdin as a script - PR#5358: first class modules don't allow "with type" declarations for types |