Re: Updating timezone data to 2018c

On Fri, Jan 26, 2018 at 10:21:33AM -0500, Tom Lane wrote:
> Probably, at the time I checked the abbrevs list when I installed 2017b,
> WAST was still being detected as a currently-in-use abbreviation.
> Now it isn't.  What I'll probably do is mark the abbreviation obsolete
> but leave it in place in Africa.txt, since that's what we've generally
> done in the past, especially for things that were very recently current.

OK.  Indeed I can see what you have done in 41fc04f.  Thanks for the
update.
--
Michael