Merge pull request #11287 from farmergreg/patch-1
authorRosen Penev <rosenp@gmail.com>
Sun, 9 Feb 2020 23:04:13 +0000 (15:04 -0800)
committerGitHub <noreply@github.com>
Sun, 9 Feb 2020 23:04:13 +0000 (15:04 -0800)
pingcheck: Fix spelling in description


Trivial merge