From a1d3acab29c995eb58e160eefdf0f4cbc679902c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 18 Sep 2019 19:14:46 -0700
Subject: [PATCH] add release notes preparing for release

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

diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index 01c4d18e1..848c87e84 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -1,5 +1,17 @@
 RELEASE NOTES
 
+Version 4.8.6
+=============
+- Notes
+  - various bug fixes
+  - built in support for PIP, thanks to Audrey Dutcher
+  - VS compilation mode including misc flags for managed packages
+
+Version 4.8.5
+=============
+- Notes
+  - various bug fixes
+
 Version 4.8.4
 =============