Subject: Re: numerical timezones require hardwiring
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Sun, 1 Oct 2017 23:29:14 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

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