From a49a5b3a0b23494e01881b3642956b2979d2f335 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 13 Jul 2021 09:43:00 +0200
Subject: [PATCH] add release note for 4.8.12 prepare for addressing #5406

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 RELEASE_NOTES | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index 89f839cae..dae1e81b8 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -11,6 +11,11 @@ Version 4.8.next
     turned off by default.
 
 
+Version 4.8.12
+==============
+Release provided to fix git tag discrepancy issues with 4.8.11  
+
+
 Version 4.8.11
 ==============
   - self-contained character theory, direct support for UTF8, Unicode character sets.