[rwth-security] OpenSSH 10.0 has just been released