On Thursday, September 12, 2019 08:09:18 AM Michael Stone wrote: > The railroads solved this more than a century ago: you just never use > 12:00 and stick with 11:59 or 12:01. Sometimes communicating clearly is > more important than being right. I like that (but getting everyone to adhere to that ...