From a06372a69365500a6014fe5d58935b9f89758317 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 20 May 2021 10:55:19 +0200
Subject: [PATCH] add credits to changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index cae81682..0b77231a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,7 @@ API-breaking change is listed.
   and `{[ (x,y,z) ]}`. They date back to the time we used the `singleton` class
   with a product for maps (there's now the `singletonM` class).
 - Add map notations `{[ k1 := x1 ; .. ; kn := xn ]}` up to arity 13.
+  (by Lennard Gäher)
 - Add multiset literal notation `{[+ x1; .. ; xn +]}`.
   + Add a new type class `SingletonMS` (with projection `{[+ x +]}` for
     multiset singletons.
-- 
GitLab