From 111089c749aaa2d15e153f745b507be4a267700f Mon Sep 17 00:00:00 2001
From: Didier Vojtisek <didier.vojtisek@inria.fr>
Date: Mon, 29 Jul 2019 13:42:14 +0200
Subject: [PATCH] update changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 59e46ae16..874d31e86 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Changelog
 
+## v3.1.0 (29/07/2019)
+*No changelog for this release.*
+
+---
+
 ## v3.1.0-20190627 (27/06/2019)
 
 #### Enhancements: