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

[asn@xxxxxxxxxxxxxx]

commit e77ad795c68f28e8431dc5b098fba05fcec49c19
Merge: 99f75373d 387cfccee
Author: George Kadianakis <desnacked@xxxxxxxxxx>
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(+)

_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits