[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/913'

[nickm at torproject.org]

commit 9fabf104ed8163e6647a31d3f54aaf4eba5dacb0
Merge: d54944012 0e0a0b980
Author: Nick Mathewson <nickm at torproject.org>
Date:   Thu Apr 11 14:30:05 2019 -0400

    Merge remote-tracking branch 'tor-github/pr/913'

 changes/ticket30079       | 3 +++
 src/test/fuzz/minimize.sh | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)