Bah, I've bumped into this often enough. Change one unsatisfactory cast for
[u/mdw/putty] / notiming.c
2005-12-09 simonA few small changes to make the PuTTY source base more...
2004-11-28 simonOops; forgot to add this file in r4913.