From bb4b9469ddf45d76385cdcddf27dc82266a8c73b Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 18 Apr 2019 15:10:06 +0200
Subject: Remove 8.10 entries from CHANGES file.

---
 doc/sphinx/changes.rst | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'doc')

diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index 4797363063..645be500fd 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -195,6 +195,9 @@ Coqtop
   proper -R/-Q options. For example, given -R Foo foolib using
   -topfile foolib/bar.v will set the module name to Foo.Bar.
 
+- Experimental: Coq flags and options can now be set on the
+  command-line, e.g. `-set "Universe Polymorphism=true"`.
+
 Specification language, type inference
 
 - Fixing a missing check in interpreting instances of existential
-- 
cgit v1.2.3