From a40420601410c5d6f86ff40c5f0b0e723d171833 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Tue, 26 Jul 2016 14:08:07 +0200
Subject: Update CHANGES about critical bugfix and others

---
 CHANGES | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/CHANGES b/CHANGES
index 5b7db5c383..97a803b820 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,13 @@
 Changes from V8.5pl2 to V8.5pl3
 ===============================
+
+Critical bugfix
+- #4876: Guard checker incompleteness when using primitive projections
+
+Other bugfixes
+
 - #4780: Induction with universe polymorphism on was creating ill-typed terms.
+- #4754: Regression in setoid_rewrite, allow postponed unification problems to remain.
 
 Changes from V8.5pl1 to V8.5pl2
 ===============================
-- 
cgit v1.2.3