From 4b9e0cc51cb7726c073f6f8b8ed4ff7745bed3e0 Mon Sep 17 00:00:00 2001
From: Marco Brandizi <marco.brandizi@gmail.com>
Date: Wed, 26 Jul 2023 16:05:34 +0100
Subject: [PATCH] Releasing 12.0

---
 revision-history.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/revision-history.md b/revision-history.md
index fde15b3cd..2037fa516 100644
--- a/revision-history.md
+++ b/revision-history.md
@@ -1,6 +1,10 @@
 # Revision History
 
-*This file was last revised on 2023-07-20*. **Please keep this note updated**.
+*This file was last revised on 2023-07-26*. **Please keep this note updated**.
+
+## 12.0.1-SNAPSHOT
+* Current snapshot
+
 
 ## 12.0-SNAPSHOT
 * Migration to Java 17. **No backward compatibility guaranteed**.