Subject: Re: numerical timezones require hardwiring

From: Paul Eggert <[email-masked]>
Date: Sun, 1 Oct 2017 23:29:14 -0700

Since this problem seems to be solved, I am closing the bug report.