[Niels Dettenbach <nd at syndicat.com> (2014-04-08 12:46:27 UTC)] > Anyhow: where server secret keys could be changed more easily (i.e. SSH host > keys) this should be done. But ssh does not use the openssl libraries, so there is no point, as this bug will not have exposed the ssh host keys. – Harald