Commit

e15f2cf

Yes, should be fine. I just tested it. I made a commit at 22:30 Rome time, then ran it as if I were in Tokyo. Rome's "16 October" picks it up, Tokyo's doesn't, which is correct since over there it was already 05:30 the next day. Everything gets compared as epoch seconds, so the…