From 76b66f206235850580f39ffbee86b0aa132f5f83 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Wed, 15 Jul 2020 14:18:47 +0200
Subject: [PATCH] CHANGELOG entry for !169.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index c3d7d6b7..9de7ae16 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -35,6 +35,8 @@ sarahzrf, and Tej Chajed.
   as integers `Z`, in analogy with `encode_nat`/`decode_nat`.
 - Fix list `Datatypes.length` and string `strings.length` shadowing (`length`
   should now always be `Datatypes.length`).
+- Change the notation for pattern matching monadic bind into `'pat ← x; y`. It
+  was `''pat ← x; y` (with double `'`) due to a shortcoming of Coq ≤8.7.
 
 ## std++ 1.3 (released 2020-03-18)
 
-- 
GitLab