doc: release note

leanprover · Dec 20, 2023 · c85e051 · c85e051
1 parent 72d30bb
commit c85e051
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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
 ---------