add release notes preparing for release

NikolajBjorner · NikolajBjorner · commit a1d3acab29c9 · 2019-09-18T19:14:46.000-07:00
Signed-off-by: Nikolaj Bjorner &lt;nbjorner@microsoft.com&gt;
diff --git 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
 =============
 
