[code] Update package-lock.json

Mostly bugfixes, tho the bump in webview-ui-toolkit is most welcomed, also the `vsce` bump is significant.
ejgallego · Apr 29, 2024 · 35aca7a · 35aca7a
1 parent bd21610
commit 35aca7a
Show file tree

Hide file tree

Showing 2 changed files with 766 additions and 214 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -95,6 +95,7 @@
    fixes #682, cc #479 #488, thanks to @Hazardouspeach for the report)
  - New `--int_backend={Coq,Mp}` command line parameter to select the
    interruption method for Coq (@ejgallego, #684)
+ - Update `package-lock.json` for latest bugfixes (@ejgallego, #687)
 
 # coq-lsp 0.1.8.1: Spring fix
 -----------------------------