Bump minimatch from 3.0.4 to 3.1.2 in /static#5

dependabot[bot] wants to merge 1 commit intonew-websitecoq-tactician/coq-tactician.github.io:new-websitefrom

dependabot/npm_and_yarn/static/minimatch-3.1.2coq-tactician/coq-tactician.github.io:dependabot/npm_and_yarn/static/minimatch-3.1.2Copy head branch name to clipboard