From 2fd322aad8bf18386b4772ee78f783f0f08ef351 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Fri, 3 Apr 2020 00:17:12 +0200
Subject: [PATCH] CHANGELOG.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 6e00c253c..f3bd2388a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -94,6 +94,7 @@ Coq development, but not every API-breaking change is listed.  Changes marked
 * Affine, absorbing, persistent and timeless instances for telescopes.
 * Better support for telescopes in the proof mode, i.e., all tactics should
   recognize and distribute telescopes now.
+* Remove namespace `N` from `is_lock`.
 
 **Changes in heap_lang:**
 
-- 
GitLab