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

[asn at torproject.org]

commit e77ad795c68f28e8431dc5b098fba05fcec49c19
Merge: 99f75373d 387cfccee
Author: George Kadianakis <desnacked at riseup.net>
Date:   Wed Sep 25 14:13:44 2019 +0300

    Merge branch 'tor-github/pr/1322'

 changes/ticket30743              |  7 +++++++
 scripts/coccinelle/debugmm.cocci | 29 +++++++++++++++++++++++++++++
 2 files changed, 36 insertions(+)