From 0bc56fa073a53dc14c6d8240e5e80f8d34241018 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 13 Jun 2019 23:01:22 +0200
Subject: Integrate 8.9.0 and 8.9.1 changelog entries.

From the CHANGES file in branch v8.9.
---
 doc/sphinx/changes.rst | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index ce3e10896c..84e8da2292 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -959,6 +959,19 @@ Notations
   refer to `app`.
   Solution: wrap `_ ++ _` in `(_ ++ _)%list` (or whichever scope you want).
 
+Changes in 8.8.0
+~~~~~~~~~~~~~~~~
+
+Various bug fixes.
+
+Changes in 8.8.1
+~~~~~~~~~~~~~~~~
+
+- Some quality-of-life fixes.
+- Numerous improvements to the documentation.
+- Fix a critical bug related to primitive projections and :tacn:`native_compute`.
+- Ship several additional Coq libraries with the Windows installer.
+
 Version 8.8
 -----------
 
-- 
cgit v1.2.3