Re: [tz] [PROPOSED] Swaziland changed its name to Eswatini

Feb. 20, 2019


      Thanks for catching that alphabetization bug; I installed the patch.

Paul Eggert