Not him, but someone else did: https://github.com/openssl/openssl/pull/58