From ee4ee17d86ddb11a6508335b9e5d5792bcdf6a8a Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sun, 6 Oct 2019 12:59:17 +0200
Subject: 8.10.0 release notes.

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

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index 38b3c34209..0148925247 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -718,6 +718,14 @@ Changes in 8.10+beta3
   follow-up of `#8365 <https://github.com/coq/coq/pull/8365>`_,
   which added ``uncons`` in 8.10+beta1).
 
+Changes in 8.10.0
+~~~~~~~~~~~~~~~~~
+
+- Micromega tactics (:tacn:`lia`, :tacn:`nia`, etc) are no longer confused by
+  primitive projections (`#10806 <https://github.com/coq/coq/pull/10806>`_,
+  fixes `#9512 <https://github.com/coq/coq/issues/9512>`_
+  by Vincent Laporte).
+
 Version 8.9
 -----------
 
-- 
cgit v1.2.3