From 355c6d8db75a3f6f3f1dac35a85cdb5b185b1a77 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 18 Jul 2021 14:33:41 +0000
Subject: [PATCH] consistent changelog formatting

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8c93d365e..019bda96a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -78,7 +78,7 @@ Coq 8.11 is no longer supported in this version of Iris.
 * Move `BiAffine`, `BiPositive`, `BiLöb`, and `BiPureForall` from
   `bi.derived_connectives` to `bi.extensions`.
 * Strengthen `persistent_fractional` to support propositions that are persistent
-  and either affine or absorbing (by Paolo G. Giarrusso, BedRock Systems).
+  and either affine or absorbing. (by Paolo G. Giarrusso, BedRock Systems)
 
 **Changes in `base_logic`:**
 
-- 
GitLab