Merge branch 'topic/release' into 'master'

eliericha · eliericha · commit 1c92b43b44ce · 2024-09-20T15:13:29.000Z
Finalize the changelog section for the last release

See merge request eng/ide/ada_language_server!1698
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,8 @@
 section below it for the last release. -->
 ## \<next>
 
+## 25.0.20240915
+
 * Implement type hierarchy requests
 * Migrate the build infrastructure to ALIRE
 * Migrate the VSIX publication infrastructure out of GitHub Actions
