From 402d196e8592916ad10ebe70358b3f73de611f5d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jan=20M=C3=B6bius?= Date: Tue, 29 May 2018 12:32:25 +0200 Subject: [PATCH] Missing changelog entry --- Doc/changelog.docu | 1 + 1 file changed, 1 insertion(+) diff --git a/Doc/changelog.docu b/Doc/changelog.docu index 4ca8e009..c7734109 100644 --- a/Doc/changelog.docu +++ b/Doc/changelog.docu @@ -17,6 +17,7 @@ Build System