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 <ra...@hri.res.in>, http://www.retrotexts.net/ Harish-Chandra Research Institute, http://www.hri.res.in/ ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://context.aanhet.net archive : https://bitbucket.org/phg/context-mirror/commits/ wiki : http://contextgarden.net ___________________________________________________________________________________
