Fix from Thomas Henlich for bug in dead key support. I've reproduced the
[sgt/putty] / version.c
2001-03-15 simonAt long last: PuTTY will now report its version to...
1999-02-09 simonAdded automatic version distinguishing code, to differe...