From 05957803a30019d9eb1d44e8335242db84c7c7cb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 19 Jan 2023 20:25:30 -0800
Subject: [PATCH] update release notes for 12.2

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

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index add32c445..a150c433f 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -13,6 +13,7 @@ Version 4.next
 
 Version 4.12.2
 ==============
+- remove MSF (Microsoft Solver Foundation) plugin
 
 Version 4.12.1
 ==============