mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-03-16 12:03:03 -05:00

(rather than straight to the backend), and then prod the terminal. I think this is closer to the correct set of things to do. [originally from svn r2245]