Bug fix from Robert de Bath: if the utf8_override setting is changed
[sgt/putty] / unix / xkeysym.c
2003-04-27 simonSupport for non-ISO-8859-1 X keysyms. So in particular...