From 8a143c4e4f01b06b9423d6eb28dfdbea5050f29b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 8 Nov 2021 10:15:49 -0500
Subject: [PATCH] dedup contributor list

---
 CHANGELOG.md | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index dd8a52bda..8e9c18275 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -32,10 +32,9 @@ The highlights and most notable changes of this release are:
 
 This release was managed by Ralf Jung, Robbert Krebbers, and Tej Chajed, with
 contributions from Amin Timany, Armaël Guéneau, Dan Frumin, Dmitry Khalanskiy,
-Hai Dang, Hoang-Hai Dang, Jacques-Henri Jourdan, Lennard Gäher, Michael
-Sammler, Paolo G. Giarrusso, Ralf Jung, Robbert Krebbers, Simon Friis Vindum,
-Simon Hudon, Tej Chajed, and Yusuke Matsushita. Thanks a lot to everyone
-involved!
+Hoang-Hai Dang, Jacques-Henri Jourdan, Lennard Gäher, Michael Sammler, Paolo G.
+Giarrusso, Ralf Jung, Robbert Krebbers, Simon Friis Vindum, Simon Hudon, Tej
+Chajed, and Yusuke Matsushita. Thanks a lot to everyone involved!
 
 **Changes in `algebra`:**
 
-- 
GitLab