From 00608cd719d608f8cd653a8c4ea32490cc1cce3c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 20 Mar 2022 14:38:59 -0700
Subject: [PATCH] notes

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

diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index 78cd70fb0..8e61f55bd 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -10,6 +10,10 @@ Version 4.8.next
     - native word level bit-vector solving.
   - introduction of simple induction lemmas to handle a limited repertoire of induction proofs.
 
+Version 4.8.15
+==============
+ - elaborate user propagator API. Change id based scheme to expressions
+ - includes a Web Assembly ffi API thanks to Kevin Gibbons
 
 Version 4.8.14
 ==============