From 01e3752d094eeaa6599c6e604efd6535ad47e90f Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 17 Mar 2020 13:33:15 -0700
Subject: [PATCH] updated changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b76fa2dc7..149861c2e 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,10 @@ The releases of major and minor versions contain an overview of changes since th
 
 Version 1.5.x
 -------------
+## Version 1.5.x (Under development)
+- CMake: Search for Gurobi prefers new versions
+- Tests: Enabled tests for permissive schedulers
+
 ## Version 1.5.1 (2020/03)
 - Jani models are now parsed using exact arithmetic.