[tor-commits] [tor/maint-0.4.4] Merge remote-tracking branch 'tor-gitlab/mr/68' into maint-0.4.4

[nickm at torproject.org]

commit 5cd85feaa7f05b2dc6229b4a72216ee8ffdc3b66
Merge: 95d4bff784 d28bfb2cd5
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Jul 21 09:29:03 2020 -0400

    Merge remote-tracking branch 'tor-gitlab/mr/68' into maint-0.4.4

 changes/bug40020          |  9 ++++++
 src/app/main/main.c       | 15 ++++++---
 src/lib/sandbox/sandbox.c | 77 ++++++++++++++++++++++++++++++++++++++++++++---
 src/lib/sandbox/sandbox.h |  7 +++++
 4 files changed, 100 insertions(+), 8 deletions(-)