Re: [PATCH] Small modification to keep_ssh_host_keys snippet