Merge pull request #12965 from neheb/fping
authorRosen Penev <rosenp@gmail.com>
Wed, 29 Jul 2020 23:29:48 +0000 (16:29 -0700)
committerGitHub <noreply@github.com>
Wed, 29 Jul 2020 23:29:48 +0000 (16:29 -0700)
fping: update to 4.4


Trivial merge