From 8805f473111e24bc2d243389c69f5dcf29929051 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 6 Sep 2021 18:27:59 +0000
Subject: [PATCH] changelog typography

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3c06e152d..376da2cb4 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -96,7 +96,7 @@ Coq 8.11 is no longer supported in this version of Iris.
   `iris.proofmode.tactics` to `iris.proofmode.proofmode`. Under normal
   circumstances, this should be the only proofmode file you need to import.
 * Improve performance of the `iIntoEmpValid` tactic used by `iPoseProof`,
-  especially in the case of large goals and lemmas with many forall quantifiers
+  especially in the case of large goals and lemmas with many forall quantifiers.
   (by Armaël Guéneau)
 
 **Changes in `bi`:**
-- 
GitLab