build(deps-dev): bump minimatch from 3.1.2 to 3.1.3 in /language-server/client#1999

RyanGlScott merged 1 commit intomasterGaloisInc/cryptol:masterfrom

dependabot/npm_and_yarn/language-server/client/minimatch-3.1.3GaloisInc/cryptol:dependabot/npm_and_yarn/language-server/client/minimatch-3.1.3Copy head branch name to clipboard