The real question is, why do they have to round times up when the technology is in place to measure them precisely?
The standard is 2:19:00, not faster than 2:19:00. He ran 2:19:00.
He did not run 2:19:01 unless you use a rounding technique that you don't need to use to know his actual time.
He should be in, end of discussion.