[tor-commits] [tor/maint-0.4.3] Merge branch 'tor-github/pr/1887' into maint-0.4.3

[ahf at torproject.org]

commit 5a38c73f7098e5c7e24198ef71dce140d421efcf
Merge: fb46d1bb3 2913dbd6d
Author: Alexander Færøy <ahf at torproject.org>
Date:   Tue Jun 30 14:19:28 2020 +0000

    Merge branch 'tor-github/pr/1887' into maint-0.4.3

 changes/bug34130          |  4 ++++
 src/lib/sandbox/sandbox.c | 14 ++++++++++++++
 2 files changed, 18 insertions(+)