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
signature.asc
Description: PGP signature
