diff options
Diffstat (limited to 'dev/doc/changes.md')
| -rw-r--r-- | dev/doc/changes.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dev/doc/changes.md b/dev/doc/changes.md index d6d296f012..7e64f80ac5 100644 --- a/dev/doc/changes.md +++ b/dev/doc/changes.md @@ -2,6 +2,12 @@ ### ML API +General deprecation + +- All functions marked [@@ocaml.deprecated] in 8.8 have been + removed. Please, make sure your plugin is warning-free in 8.8 before + trying to port it over 8.9. + Names - Kernel names no longer contain a section path. They now have only two |