Note for release

leanprover · Jan 3, 2024 · 0152f5d · 0152f5d
1 parent 04c9f8f
commit 0152f5d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/functional-programming-lean/src/title.md b/functional-programming-lean/src/title.md
@@ -10,6 +10,10 @@ This is a free book on using Lean 4 as a programming language. All code samples
 
 ## Release history
 
+### January, 2023
+
+This is a minor bugfix release that fixes a regression in an example program.
+
 ### October, 2023
 
 In this first maintenance release, a number of smaller issues were fixed and the text was brought up to date with the latest release of Lean.