Merge pull request #53 from onriv/changelog-update-v0.1.4

Changelog update - `v0.1.4`
onriv · Nov 11, 2024 · 8c4122a · 8c4122a
2 parents 96d27c9 + 461a78e
commit 8c4122a
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,11 @@
 
 ## [Unreleased]
 
+## [0.1.4] - 2024-11-11
+
+Depend on the latest approved nightly build of LSP4IJ: 0.8.0-20241105-013235
+Depends on platformPlugins: [com.redhat.devtools.lsp4ij:0.8.0-20241105-013235@nightly]
+
 - fix internal infoview document not popping up
 
 ## [0.1.3] - 2024-11-10
@@ -94,7 +99,8 @@ Depends on platformPlugins: [com.redhat.devtools.lsp4ij:0.7.0-20241006-013203@ni
 - Some more snippets involving the cursor
 - A setting page
 
-[Unreleased]: https://github.com/onriv/lean4ij/compare/v0.1.3...HEAD
+[Unreleased]: https://github.com/onriv/lean4ij/compare/v0.1.4...HEAD
+[0.1.4]: https://github.com/onriv/lean4ij/compare/v0.1.3...v0.1.4
 [0.1.3]: https://github.com/onriv/lean4ij/compare/v0.1.2...v0.1.3
 [0.1.2]: https://github.com/onriv/lean4ij/compare/v0.1.1...v0.1.2
 [0.1.1]: https://github.com/onriv/lean4ij/compare/v0.1.0...v0.1.1