Attachment #2951
make host matching in ssh case insensitive patch 2017-03-02 01:42:50 AEDT 1.53 KB no flags Details
Attachment #2960
make hostname matching really case-insensitive patch 2017-03-10 14:59:13 AEDT 833 bytes dtucker: ok+ Details