Update changelog for 1.0.0

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
2018-07-10 15:29:48 +01:00 · 2018-07-10 15:29:48 +01:00 · 6b1046c1ea
parent 66f1a201c0
commit 6b1046c1ea
1 changed files with 2 additions and 2 deletions
--- a/CHANGES.md
+++ b/CHANGES.md
@ -1,5 +1,5 @@
-next
----
+1.0.0 (10/07/2018)
+------------------

 - Do not load the user configuration file when running inside dune
  (#700 @diml)