24 Apr
2018
24 Apr
'18
8:40 a.m.
At 2018-04-24T10:03:16+02:00, Arthur Reutenauer wrote:
PS: Incidentally, what is the "-19:00" in date in the first identifier? In my time zone, IST, I would have expected 2018-04-24T01:49:47+05:30.
I remember noticing something strange in the date format when files were compiled after midnight local time while the UTC time was before midnight. It didn’t seem enough to send a bug report at the time, but I can look into it again.
Thank you for the help.
Raghu.
--
N. Raghavendra