Bump brace-expansion from 1.1.11 to 1.1.12 in /frontend#372

dependabot[bot] wants to merge 1 commit into

mainleanprover/velcom:mainfrom

dependabot/npm_and_yarn/frontend/brace-expansion-1.1.12leanprover/velcom:dependabot/npm_and_yarn/frontend/brace-expansion-1.1.12Copy head branch name to clipboard