Merge pull request #687 from ejgallego/update-lock

[code] Update package-lock.json
ejgallego · Apr 29, 2024 · 478606c · 478606c
2 parents bd21610 + 35aca7a
commit 478606c
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
 -----------------------------