From 6a9afe85cd6a72939472c4607865f56dd76a0fa0 Mon Sep 17 00:00:00 2001
From: Tej Chajed <tchajed@mit.edu>
Date: Mon, 6 Apr 2020 09:32:58 -0500
Subject: [PATCH] Reword CHANGELOG

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 617715a45..b55e59c9f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -105,8 +105,7 @@ Coq development, but not every API-breaking change is listed.  Changes marked
   requires implementing `string_to_ident`. Without this tactic such patterns
   will fail. We provide one implementation at
   https://gitlab.mpi-sws.org/iris/string-ident using Ltac2 which works with Coq
-  8.11. See the [README](https://gitlab.mpi-sws.org/iris/string-ident) for opam
-  installation instructions.
+  8.11 and can be installed with opam (see the README for details).
 
 **Changes in heap_lang:**
 
-- 
GitLab