[tor-commits] [tor/master] Merge branch 'tor-github/pr/811' into maint-0.4.0

[asn at torproject.org]

commit 828f1829c8082abd7e3f9221b63d2367ff4b9639
Merge: de76862fd cfcf6de1a
Author: George Kadianakis <desnacked at riseup.net>
Date:   Wed Apr 3 17:50:49 2019 +0300

    Merge branch 'tor-github/pr/811' into maint-0.4.0

 changes/bug29527 | 5 +++++
 configure.ac     | 5 +++++
 2 files changed, 10 insertions(+)