Merge pull request #22 from runtimeverification/raoul/web-extension

Update changelog
runtimeverification · Nov 9, 2024 · 2c41ce2 · 2c41ce2
2 parents 1e8d1a8 + 5d621b8
commit 2c41ce2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,10 @@
 
 All notable changes to the "Simbolik VSCode" extension will be documented in this file.
 
+## [4.0.0] - 2024-11-09
+
+- Fixed the web extension.
+
 ## [3.1.1] - 2024-30-10
 
 - Communication with the Simbolik API is now done over HTTPS and WSS