From adfc24d262732fc85fd290b0ff62b003de63ded7 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Sat, 24 Aug 2019 19:08:25 +0200
Subject: [PATCH] Credit @dfrumin in CHANGELOG.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 9dd2e7a7..f2069de0 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,8 +3,8 @@ API-breaking change is listed.
 
 ## std++ 1.2.1 (unreleased)
 
-This release of std++ received contributions by Michael Sammler, Paolo
-G. Giarrusso, Paulo Emílio de Vilhena, Ralf Jung, Robbert Krebbers,
+This release of std++ received contributions by Dan Frumin, Michael Sammler,
+Paolo G. Giarrusso, Paulo Emílio de Vilhena, Ralf Jung, Robbert Krebbers,
 Rodolphe Lepigre, and Simon Spies.
 
 Noteworthy additions and changes:
-- 
GitLab