From 2635a5e5a6d4ff0ccc936399c4d0d09c82df8d6f Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 11 Apr 2022 13:41:05 +0000
Subject: [PATCH] tweak changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 4aa4c6ef..5d3f8273 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,7 +4,7 @@ API-breaking change is listed.
 ## std++ master
 
 - Make sure that `gset` and `mapset` do not bump the universe.
-- A rewrite of `tele_arg` to make it not bump universes.
+- Rewrite `tele_arg` to make it not bump universes. (by Gregory Malecha, BedRock Systems)
 
 ## std++ 1.7.0 (2022-01-22)
 
-- 
GitLab