From c85e05181f1f411ce5a62eb24c8403f6155b57d0 Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki@protonmail.com>
Date: Wed, 20 Dec 2023 10:13:27 +0100
Subject: [PATCH] doc: release note

---
 RELEASES.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/RELEASES.md b/RELEASES.md
index e2c2e1e72fa5..47c52e8794e1 100644
--- a/RELEASES.md
+++ b/RELEASES.md
@@ -36,6 +36,8 @@ v4.5.0 (development in progress)
   +termination_by _ x => hwf.wrap x
   ```
 
+* Support snippet edits in LSP `TextEdit`s. See `Lean.Lsp.SnippetString` for more details.
+
 v4.4.0
 ---------