From 1504ef1681a6a0e35cd9463b7ce6fb5217ba8d79 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 19 Jul 2021 13:18:31 +0200
Subject: [PATCH] changelog
---
CHANGELOG.md | 2 ++
1 file changed, 2 insertions(+)
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 019bda96a..14f521a0c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -108,6 +108,8 @@ Coq 8.11 is no longer supported in this version of Iris.
to ignore the new step counter.
(by Jacques-Henri Jourdan)
* Remove `wp_frame_wand_l`; add `wp_frame_wand` as more symmetric replacement.
+* Swap the polarity of the mask in logically atomic triples, so that it matches
+ regular `WP` masks.
**Changes in `heap_lang`:**
--
GitLab