Re: [Gretl-devel] German Umlaute in menus messed up