From 63b638de025c4d4ec8330cd2108b236b577f32de Mon Sep 17 00:00:00 2001
From: Alex Zolotko <azolotko@gmail.com>
Date: Wed, 10 Jan 2024 13:29:40 +0100
Subject: [PATCH] Update title.md

---
 functional-programming-lean/src/title.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/functional-programming-lean/src/title.md b/functional-programming-lean/src/title.md
index 1e5e1e5..292f2bc 100644
--- a/functional-programming-lean/src/title.md
+++ b/functional-programming-lean/src/title.md
@@ -10,7 +10,7 @@ This is a free book on using Lean 4 as a programming language. All code samples
 
 ## Release history
 
-### January, 2023
+### January, 2024
 
 This is a minor bugfix release that fixes a regression in an example program.