From 53870b7f6890a593d1da93706f3d020a79d226e5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 18 Sep 2018 15:22:12 +0200
Subject: [api] Remove (most) 8.9 deprecated objects.

A few of them will be of help for future cleanups. We have spared the
stuff in `Names` due to bad organization of this module following the
split from `Term`, which really difficult things removing the
constructors.
---
 dev/doc/changes.md | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'dev/doc')

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
-- 
cgit v1.2.3