Don't strip username from `jumphost`, add it if it's missing#614

Merged

MisterTea merged 1 commit intoMisterTea:masterfrom ddebin:fix_jumphost_username

Feb 1, 2024

+9-7

Commits on Jan 31, 2024

Don't strip username from jumphost, add it if it's missing ; fix bug when connecting with two different usernames for server and jumphost ; fix command line parsing bug when including username in…
ddebin
committed