From a2c20ea909d76979ccc90e4b2672046009de1f6a Mon Sep 17 00:00:00 2001
From: Didier Vojtisek <didier.vojtisek@inria.fr>
Date: Tue, 17 Jul 2018 17:33:25 +0200
Subject: [PATCH] update changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index fbf7530e..8a046b50 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Changelog
 
+## v3.0.0 (17/07/2018)
+No changes since 3.0.0-rc4
+
+---
+
 ## v3.0.0-rc4 (22/06/2018)
 
 #### Bug Fixes: