Bump the npm-dependencies group with 5 updates#13

dependabot[bot] wants to merge 1 commit into

mainopen-proofline/website:mainfrom

dependabot/npm_and_yarn/npm-dependencies-1755293dd2open-proofline/website:dependabot/npm_and_yarn/npm-dependencies-1755293dd2Copy head branch name to clipboard