nagios-plugins/nagios-plugins — pull request #1165 by waja (2013-09-29 00:33:39+00:00)
Title: check_ping: Fixing "time of day goes back"

Just turning attached patch of github issue #809 into a push request.