Merge pull request #16760 from mhei/ci-typo
authorAlexandru Ardelean <redacted>
Tue, 28 Sep 2021 07:34:07 +0000 (10:34 +0300)
committerGitHub <redacted>
Tue, 28 Sep 2021 07:34:07 +0000 (10:34 +0300)
github-ci: fix small typo


Trivial merge
git clone https://git.99rst.org/PROJECT