Fix a stupid sign bug in run_timers() that broke Windows Plink (and
[sgt/putty] / pgssapi.h
2010-05-19 simonPatch from Alejandro Sedeno, somewhat modified by me...