diff --git a/releases/28.1.md b/releases/28.1.md
new file mode 100644
index 0000000000000000000000000000000000000000..7430d89eb41dcc522b9b1258ea9b1fa7871b94ae
--- /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.