diff options
Diffstat (limited to 'Changes')
-rw-r--r-- | Changes | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -10,6 +10,10 @@ Bug fixes: - PR#5551: Avoid repeated lookups for missing cmi files - PR#5662: typo in md5.c +Internals: +- Moved debugger/envaux.ml to typing/envaux.ml to publish env_of_only_summary + as part of compilerlibs, to be used on bin-annot files. + OCaml 4.00.0: ------------- |