From e7192abfd4ae1799030dbb2156ad0142031c66eb Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 29 Feb 2024 17:22:35 +0100
Subject: [PATCH] 28.1 release

---
 releases/28.1.md | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 releases/28.1.md

diff --git a/releases/28.1.md b/releases/28.1.md
new file mode 100644
index 00000000000..7430d89eb41
--- /dev/null
+++ b/releases/28.1.md
@@ -0,0 +1,11 @@
+# Kernel
+
+- Fix Cil.isConstant on lvalues with offset.
+
+# Ivette
+
+- Fix Ivette shell wrapper on macOS.
+
+# WP
+
+- Fix interactive prover startup.
-- 
GitLab