From f2aae7cffa58686a8d251c87301c82cd4c2db200 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 22 May 2018 16:59:11 -0700
Subject: [PATCH] release notes

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

diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index 86e7039dd..a99ec6b1e 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -1,5 +1,22 @@
 RELEASE NOTES
 
+Version 4.7.1
+=============
+
+- New requirements:
+  - uses stdbool and stdint as part of z3.h
+
+- New features:
+  - none
+
+- Removed features:
+  - none
+
+- Notes:
+   This is a minor release prior to a set of planned major updates.
+   It uses minor version 7 to indicate that the use of stdbool and
+   stdint are breaking changes to consumers of the C-based API.
+
 Version 4.6.0
 =============