Merge pull request #11316 from br101/pingcheck-update
authorRosen Penev <rosenp@gmail.com>
Mon, 17 Feb 2020 03:34:13 +0000 (19:34 -0800)
committerGitHub <noreply@github.com>
Mon, 17 Feb 2020 03:34:13 +0000 (19:34 -0800)
pingcheck: Update and add script directories


Trivial merge