[tor-commits] [tor/master] Merge branch 'maint-0.4.3'

[teor at torproject.org]

commit f431b78465ca8f1339598aa81b85300528c29de3
Merge: 4e3a17fac 1ae0839ef
Author: teor <teor at torproject.org>
Date:   Thu Apr 9 19:42:36 2020 +1000

    Merge branch 'maint-0.4.3'
    
    "ours" merge, because we only want to remove check-best-practices
    from check-local in 0.4.2 and 0.4.3.