doc: document RELEASES.md

arthur-adjedj · arthur-adjedj · commit 95e4f23dc907 · 2023-10-16T16:23:08.000+02:00
diff --git a/RELEASES.md b/RELEASES.md
@@ -10,6 +10,8 @@ Please check the [releases](https://github.com/leanprover/lean4/releases) page f
 v4.3.0 (development in progress)
 ---------
 
+* `Prop`-valued inductive types and structures now [live in `Prop` by default](https://github.com/leanprover/lean4/pull/2695).
+
 v4.2.0
 ---------
 
