add forgotten changelog entries

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)
 ###############################################################################

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

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)
 ###############################################################################