If the ping result has a revision mismatch, quietly continue.

If the host's revision has been update, throw away the ping
result as having been produced against and outdated host.