From 33158cb220a1a80a04020730058c11a4b5240b09 Mon Sep 17 00:00:00 2001
From: mario-bucev <mario.bucev@epfl.ch>
Date: Sun, 3 Jul 2022 15:27:56 +0200
Subject: [PATCH] Update release notes (#1293)

---
 docs/RELEASE_NOTES.md | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/docs/RELEASE_NOTES.md b/docs/RELEASE_NOTES.md
index 4cb90b9180..53de6e8c01 100644
--- a/docs/RELEASE_NOTES.md
+++ b/docs/RELEASE_NOTES.md
@@ -1,5 +1,18 @@
 # Release Notes
 
+## Version 0.9.6 (2022-07-03)
+
+### Stainless frontend, library and internals
+
+- Fix issues #1268 #1269 #1270 #1272 #1273 #1274 (#1277)
+- Avoid unnecessary capture of PC variables when hoisting functions (#1265)
+- Minor fixes (#1260, #1263, #1280, #1292)
+
+### GenC
+
+- Annotate unexported function as `static` (#1261)
+
+
 ## Version 0.9.5 (2022-05-06)
 
 ### Stainless frontend, library and internals