From a8791d1116ba9ec312f63abcf8acc876417ee71e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Wed, 18 Nov 2015 13:06:20 +0100
Subject: [PATCH] Updated changelog for 5.0 release

---
 Doc/changelog.docu | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/changelog.docu b/Doc/changelog.docu
index 40e69f8f..f899680b 100644
--- a/Doc/changelog.docu
+++ b/Doc/changelog.docu
@@ -7,7 +7,7 @@
 <!-- --------------------------------------------------------------------- -->
 
 
-<tr valign=top><td><b>5.0</b> (?/?/?)</td><td>
+<tr valign=top><td><b>5.0</b> (2015/11/18)</td><td>
 
 <b>General</b>
 <ul>