diff DESIGN.txt @ 1044:c35751c248c3

ssh: unban the use of pipe character in hostname The test changes demonstrate that the hostname gets URL-encoded before being passed to ssh(1).
author Kevin Bullock <kbullock@ringworld.org>
date Thu, 10 Aug 2017 14:19:04 -0400
parents 1ec00e2805fb
children
line wrap: on
line diff