Merge pull request #19 from onriv/changelog-update-v0.0.17

Changelog update - `v0.0.17`
onriv · Oct 6, 2024 · b4b424b · b4b424b
2 parents af6ead7 + eb6ba6a
commit b4b424b
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,9 +4,16 @@
 
 ## [Unreleased]
 
+## [0.0.17] - 2024-10-06
+
+Depend on the latest approved nightly build of LSP4IJ: 0.7.0-20241006-013203
+Depends on platformPlugins: [com.redhat.devtools.lsp4ij:0.7.0-20241006-013203@nightly, org.jetbrains.plugins.textmate]
+
 - More content on the internal infoview
 - Fix [issue#15](https://github.com/onriv/lean4ij/issues/15)
 - Some inlay hints with [@enigmurl](https://github.com/enigmurl)'s great efforts!
 - Some more snippets involving the cursor
 - A setting page
 
+[Unreleased]: https://github.com/onriv/lean4ij/compare/v0.0.17...HEAD
+[0.0.17]: https://github.com/onriv/lean4ij/commits/v0.0.17