[Gretl-devel] German Umlaute in menus messed up