[rwth-security] OpenSSL security fix release (1. November)