[patch] ssh_config: remove mention of obsolete option Protocol

Mon Feb 4 13:40:42 AEDT 2019

On Mon, 4 Feb 2019 at 03:40, Samy Mahmoudi <samy.mahmoudi at gmail.com> wrote:

> The option Protocol is now obsolete.
>

Applied, thanks.  It will be in the 8.0 release.

-- 
Darren Tucker (dtucker at dtucker.net)
GPG key 11EAA6FA / A86E 3E07 5B19 5880 E860  37F4 9357 ECEF 11EA A6FA (new)
    Good judgement comes with experience. Unfortunately, the experience
usually comes from bad judgement.