[tor-commits] [tor/release-0.3.5] Merge remote-tracking branch 'tor-github/pr/951' into maint-0.3.5

[teor at torproject.org]

commit 2d4772dc47e6e7c43c3909540e73a139333fc7d6
Merge: ef345ab56 8c4e68438
Author: teor <teor at torproject.org>
Date:   Mon Aug 12 09:43:37 2019 +1000

    Merge remote-tracking branch 'tor-github/pr/951' into maint-0.3.5

 changes/bug30190                       | 3 +++
 src/lib/crypt_ops/crypto_openssl_mgt.c | 8 ++++++++
 2 files changed, 11 insertions(+)