From fc968efc4dd228f9460054de6f88793d8b40b3f2 Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jeremie@dimino.org>
Date: Wed, 20 Jun 2018 16:07:08 +0100
Subject: [PATCH] Update changelog

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
---
 CHANGES.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES.md b/CHANGES.md
index 809467a0..5d66d8e6 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -82,7 +82,7 @@ next
   doesn't include generated files (#899, fix #843, @diml)
 
 - Present the `menhir` stanza as an extension with its own version
-  (#..., @diml)
+  (#901, @diml)
 
 1.0+beta20 (10/04/2018)
 -----------------------