mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-04-18 03:28:07 -05:00

It tries to use the local username as the remote username if it has no better ideas, but the presence of Default Settings would defeat this, even if it had no username set. Reported by Jonathan Amery.