tree ab44bb7c350883757025faf2ec6f94b8f74808c9
parent 57e10d71be924d157bdbe7ae0c0faf727520aad5
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1434993332 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1435009284 +0200

Fix and document corner-cases of time checking