Patrick Steuer Wed, 30 Oct 2019 04:18:24 -0700
I think its a good idea. It would prevent issues like https://github.com/openssl/openssl/pull/9501
Patrick