From dccb415371d27ddc14b397d21c60075fac3ba009 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 18 Oct 2016 10:40:00 +0200
Subject: [PATCH] fix CHANGELOG markup

---
 CHANGELOG.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 98c97a384..bc5c7dbf2 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,7 +5,7 @@ Coq development, but not every API-breaking change is listed.  Changes marked
 
 ## Iris 3.0
 
-# Lifting lemmas do no longer take as hypothesis the fact the the
+* [#] Lifting lemmas do no longer take as hypothesis the fact the the
   considered expression is not a value. This is deduced from the fact that
   it is reducible.
 * View shifts are radically simplified to just internalize frame-preserving
-- 
GitLab