From 56be31201fb90633aea5bdb20b43e2ad7d452b0d Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Wed, 30 Sep 2020 20:29:23 -0700
Subject: [PATCH] update changelog with timeouts

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8cedadf..09c4fc4 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,6 +6,7 @@ Version 1.6.x
 
 ### Version 1.6.3 (to be released)
 - Support for exact arithmetic in models
+- Support for timeouts/signal handlers in storm
 - `export_parametric_to_drn` no longer exists, use `export_to_drn` instead