Merge pull request #21282 from stangri/master-curl
authorStan Grishin <[email protected]>
Sun, 11 Jun 2023 14:01:38 +0000 (08:01 -0600)
committerGitHub <[email protected]>
Sun, 11 Jun 2023 14:01:38 +0000 (08:01 -0600)
curl: update to 8.1.2


Trivial merge