From 3331ab7b47d43a5fb214784427b0796ccbd7e0b4 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Mon, 8 Apr 2019 18:33:42 +0200
Subject: Update CHANGELOG.md

---
 CHANGELOG.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index c734df9..15adb00 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,6 +3,16 @@ All notable changes to this project will be documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
+## [Unreleased]
+
+### Added
+
+### Changed
+
+### Renamed
+
+### Misc
+
 ## [1.8.0] - 2019-04-08
 
 Drop compatibility with Coq 8.6 (OCaml plugin removed).
-- 
cgit v1.2.3