From 6ed071b44407cf6623b8d3c0dceb2a8fb7040cee Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 6 Jul 2022 11:38:25 -0700
Subject: [PATCH] update release notes

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

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 4b69522a8..aecf10f2c 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -10,6 +10,10 @@ Version 4.9.next
     - native word level bit-vector solving.
   - introduction of simple induction lemmas to handle a limited repertoire of induction proofs.
 
+Version 4.9.1
+=============
+- Bugfix release to ensure npm package works
+
 Version 4.9.0
 =============
 - Native M1 (Mac ARM64) binaries and pypi distribution.