Merge pull request #2985 from annando/1612-ping
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Thu, 1 Dec 2016 19:37:45 +0000 (20:37 +0100)
committerGitHub <noreply@github.com>
Thu, 1 Dec 2016 19:37:45 +0000 (20:37 +0100)
Little improvements to the queries in ping.php


Trivial merge