From 9198e66bd5032d5cbe134dc49e936466c21678c3 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 26 Jul 2022 23:22:39 +0200
Subject: [PATCH] CHANGELOG.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index beadd84c..785e0ffe 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -26,6 +26,7 @@ Coq 8.11 is no longer supported.
 - Add `map_Exists` as an analogue to `map_Forall`. (by Michael Sammler)
 - Add `case_match eqn:H` that behaves like `case_match` but allows naming the
   generated equality. (by Michael Sammler)
+- Flip direction of `map_disjoint_fmap`.
 
 The following `sed` script should perform most of the renaming
 (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
-- 
GitLab