From 24c4c71236a6b12e9af6e8505c98e3ef1becb32a Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 5 Oct 2018 08:27:00 +0200
Subject: Adapt changes to backported commits.

---
 dev/doc/changes.md | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'dev')

diff --git a/dev/doc/changes.md b/dev/doc/changes.md
index d9a42b3a2c..9d592ee879 100644
--- a/dev/doc/changes.md
+++ b/dev/doc/changes.md
@@ -1,12 +1,5 @@
 ## Changes between Coq 8.9 and Coq 8.10
 
-### ML API
-
-Termops:
-
-- Internal printing functions have been placed under the
-  `Termops.Internal` namespace.
-
 ## Changes between Coq 8.8 and Coq 8.9
 
 ### ML API
-- 
cgit v1.2.3