From e10c9eed42e9cfc843a6cb2d48fa175c1be98741 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Wed, 20 Jul 2016 18:46:32 +0200
Subject: Update CHANGES

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

diff --git a/CHANGES b/CHANGES
index e7620dd4a8..5b7db5c383 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,7 @@
+Changes from V8.5pl2 to V8.5pl3
+===============================
+- #4780: Induction with universe polymorphism on was creating ill-typed terms.
+
 Changes from V8.5pl1 to V8.5pl2
 ===============================
 
-- 
cgit v1.2.3