From 1941a539996f32e4dcb6add072b9db6cca971915 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 7 Dec 2017 00:53:54 +0000
Subject: [PATCH] [Release Notes] Note that C++11 is required to build Z3 and
 is also required by the C++ API bindings.

---
 RELEASE_NOTES | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index ec05160da..e85e3d8d6 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -1,7 +1,11 @@
 RELEASE NOTES
 
-Version 4.5.x
+Version 4.6.0
 =============
+- New requirements:
+  - C++11 capable compiler to build Z3.
+  - C++ API now requires C++11 or newer.
+
 - New features (including):
   - A new string solver from University of Waterloo
   - A new linear real arithmetic solver