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