diff --git a/ALL_VERSIONS b/ALL_VERSIONS
index 79b1edb8351ad63126eee1a0a1c1a8a0bf67afc3..60647eed75411cc50829b0f82b679f697d190881 100644
--- a/ALL_VERSIONS
+++ b/ALL_VERSIONS
@@ -1,5 +1,6 @@
 Version number			Date of release		Notes
 ==============			===============		=====
+26.1 (Iron)                     2023, February 15
 26.0 (Iron)                     2022, November 23
 25.0 (Manganese)                2022, June 22
 24.0 (Chromium)                 2021, November 30
diff --git a/Changelog b/Changelog
index be1909122a14b0668ac9f196e247de2ea4d253fb..d8fbd046485c67f3379f46fad8f29572d6404d1c 100644
--- a/Changelog
+++ b/Changelog
@@ -19,6 +19,11 @@ Open Source Release <next-release>
 ##################################
 
 -!  Kernel    [2023-01-25] Add support for C11's _Generic. Modifies Cabs AST.
+
+###############################
+Open Source Release 26.1 (Iron)
+###############################
+
 -   Logic     [2023-01-16] Accept \ghost attribute in logic annotations (##2638)
 -   Logic     [2023-01-10] Fix issue in pretty-printing ranges (##2639)
 
diff --git a/VERSION b/VERSION
index fe85f3c38c8ebf80087060a2d342643d2dc150df..8d4b0111158d4ed44ddccdd1457f13b0e01a41f2 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-26.0+dev
+26.1+dev
diff --git a/opam b/opam
index 80bed69c317626aa83c62847d1603ac57d779a7b..8ebcbe75bfa6612c9a364f603cec8dedccebcddc 100644
--- a/opam
+++ b/opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "frama-c"
 synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "26.0+dev"
+version: "26.1+dev"
 description:"""
 Frama-C gathers several analysis techniques in a single collaborative
 framework, based on analyzers (called "plug-ins") that can build upon the
@@ -69,7 +69,7 @@ authors: [
 homepage: "https://frama-c.com/"
 license: "LGPL-2.1-only"
 dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
-doc: "http://frama-c.com/download/user-manual-26.0-Iron.pdf"
+doc: "http://frama-c.com/download/user-manual-26.1-Iron.pdf"
 bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
 tags: [
   "deductive"
diff --git a/releases/26.1.md b/releases/26.1.md
new file mode 100644
index 0000000000000000000000000000000000000000..db380cbbcfb4370a5a2cb4ce73d75621783c9d71
--- /dev/null
+++ b/releases/26.1.md
@@ -0,0 +1,12 @@
+This minor release fixes some issues related to the compilation and installation
+of Frama-C.
+
+Other changes with respect to Frama-C 26.0 (Iron) include:
+
+# Kernel
+- Accepts \ghost attribute in logic annotations
+- Fixes issue in pretty-printing ranges
+
+# WP
+- Fixes 'terminates' goals generation when some 'terminates' or 'decreases'
+  clauses are missing.
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 57fa25424a27d3741a1d7d308921d2d3830291b4..4fb3fdb40ff2b7ba4d3a53fb6f57c3c264d80642 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -28,6 +28,10 @@ Plugin E-ACSL <next-release>
 -! e-acsl-gcc   [2023-02-08] arguments to options -e/--cpp-flags now overload
 	        the default values set by e-acsl-gcc instead of being ignored.
 
+#########################
+Plugin E-ACSL 26.1 (Iron)
+#########################
+
 #########################
 Plugin E-ACSL 26.0 (Iron)
 #########################
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 339dbc71af35924adb98ed50291d3351b7a7f2d4..bb9bcc93df78756b7055117cef1fa371da2ae265 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -26,6 +26,11 @@ Plugin WP <next-release>
 
 - WP          [2023-02-03] new option -wp-why3-extra-config for providing
                            additional Why3 configuration files
+
+#####################
+Plugin WP 26.1 (Iron)
+#####################
+
 - WP          [2022-12-02] Fixes 'terminates' goals generation when some
                            'terminates' or 'decreases' clauses are missing.