From 9a9445325dedbee8f35b9b497d66f9a60fa2323f Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jeremie@dimino.org>
Date: Fri, 29 Jun 2018 23:45:15 +0100
Subject: [PATCH] Update changelog

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

diff --git a/CHANGES.md b/CHANGES.md
index 558ffb36..21df2d87 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -93,6 +93,8 @@ next
 
 - Make `dev` the default build profile (#920, @diml)
 
+- Version `dune-workspace` and `~/.config/dune/config` files (#..., @diml)
+
 1.0+beta20 (10/04/2018)
 -----------------------