From e7c8a262e77d5ef1545e4505143eafa2f1bacb8b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 6 Nov 2021 10:40:06 -0400
Subject: [PATCH] more attribution in changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index fcadc84c4..dd8a52bda 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -26,7 +26,7 @@ The highlights and most notable changes of this release are:
 * Weakest preconditions now support a flexible number of laters per
   physical step of the operational semantics. See merge request
   [!585](https://gitlab.mpi-sws.org/iris/iris/-/merge_requests/595) (by
-  Jacques-Henri Jourdan).
+  Jacques-Henri Jourdan and Yusuke Matsushita).
 * HeapLang now has an atomic `Xchg` (exchange) operation (by Simon Hudon,
   Google).
 
-- 
GitLab