[tor-commits] [tor/master] Merge branch 'tor-github/pr/1353'

[asn at torproject.org]

commit 6712fb9e270b51af67d72706b54dcaa749950de1
Merge: 219962964 c7c849bba
Author: George Kadianakis <desnacked at riseup.net>
Date:   Wed Sep 25 14:16:28 2019 +0300

    Merge branch 'tor-github/pr/1353'

 changes/bug31825 | 3 +++
 configure.ac     | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)