Merge pull request #172772 from danielfullmer/microsoft_gsl-fetchpatch
microsoft_gsl: use fetchpatch instead of fetchurl
authored by Artturi and committed by GitHub 3 years ago ff6e5ed3 882eea10