add release note for 4.8.12 prepare for addressing #5406

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jul 13, 2021 · a49a5b3 · a49a5b3
1 parent 34677e0
commit a49a5b3
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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.