On Thu, Nov 21, 2019 at 01:38:24PM +0000, Tony Finch <dot at dotat.at> wrote a message of 16 lines which said: > This has been a problem for months. There was a discussion about the > USNO DNS brokenness on the tz list in July First occurrence I find is in December 2018. https://www.youtube.com/watch?v=jC61zbu0ZLk (no relationship)