Bump the npm-dependencies group with 5 updates#11

dependabot[bot] wants to merge 1 commit into

mainopen-proofline/website:mainfrom

dependabot/npm_and_yarn/npm-dependencies-aec60f7644open-proofline/website:dependabot/npm_and_yarn/npm-dependencies-aec60f7644Copy head branch name to clipboard