From b52aad6eb4696aaff83fb2b95ca5b880dbbbb215 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Mon, 3 Jul 2023 23:13:32 +0200
Subject: [PATCH] close changelog

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

diff --git a/ChangeLog.md b/ChangeLog.md
index 8419466..04e5628 100644
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,3 +1,7 @@
+# v0.4.0 - 03/7/2023
+
+- Bugfix in event postponement (API `pop`)
+
 # v0.3.0 - 02/7/2023
 
 - Major code cleanup and documentation