Update changelog

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
2018-06-20 16:07:08 +01:00 · 2018-06-20 16:07:08 +01:00 · fc968efc4d
parent 58997d9df7
commit fc968efc4d
1 changed files with 1 additions and 1 deletions
--- 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)
 -----------------------