[mkgmap-dev] Commit r4518: Swaziland changed name to Eswatini (eswatini.patch)