diff --git a/Changelog b/Changelog
index de9f173fc0c28f19c876bbec5d64b54853ccb598..85e1c8b4b8253312135a03c2ad0924cf2cb5254a 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,13 @@
 Open Source Release <next-release>
 ###############################################################################
 
+###############################################################################
+Open Source Release 28.1 (Nickel)
+###############################################################################
+
+-*  Kernel    [2024-01-18] Fix Cil.isConstant on lvalues with offset.
+-*  Ivette    [2024-01-11] Fix Ivette shell wrapper on macOS.
+
 ###############################################################################
 Open Source Release 28.0 (Nickel)
 ###############################################################################
diff --git a/doc/developer/changes.tex b/doc/developer/changes.tex
index d0ee85277359173857a81b900decd4ab713eb009..2d0190d75df0cb8bf035bbf47fb919de198ef08f 100644
--- a/doc/developer/changes.tex
+++ b/doc/developer/changes.tex
@@ -7,6 +7,11 @@ This chapter summarizes the major changes in this documentation between each
 
 %\section*{Frama-C+dev}
 
+\section*{28.0 (Nickel)}
+\begin{itemize}
+\item \textbf{Logical Annotations}: Add sections about specification generation.
+\end{itemize}
+
 \section*{27.0 (Cobalt)}
 \begin{itemize}
 \item \textbf{Customizing the machine model}: Rewrite section according to new
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index c16ff02fa861910b652cb905e9b218f2da7d25c9..95fb10888118701cfe91c61085aa678b589d20c8 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,12 @@
 Plugin WP <next-release>
 ###############################################################################
 
+###############################################################################
+Plugin WP 28.1 (Nickel)
+###############################################################################
+
+-* WP         [2024-01-29] Fix interactive prover startup.
+
 ###############################################################################
 Plugin WP 28.0 (Nickel)
 ###############################################################################