Looks good, though I wonder if using time.time() in the algorithm for get_faithful_time will work as expected in Windows.
« Back to merge proposal
Looks good, though I wonder if using time.time() in the algorithm for get_faithful_time will work as expected in Windows.