July 27, 2019
2:21 p.m.
Thanks, I installed that into the development version on GitHub. I see that the updated file has a space at the end of the '#@ 3802291200' line that encodes the expiration (2020-06-28 00:00:00 UTC). I assume this was inadvertent. It doesn't break tzcode (which ignores that line), but the format of the line is not documented anywhere that I can see. I dropped Judah Levine a line about this.