mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-07-03 20:42:48 -05:00
Pedantry patch from RDB: sanitise header use, correct one comment
and remove an unused variable. [originally from svn r1243]
This commit is contained in: