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

[asn@xxxxxxxxxxxxxx]

commit 811a93f80333d0f31ea9a46d9a1606c8e4ef11da
Merge: 6320b2988 358df1806
Author: George Kadianakis <desnacked@xxxxxxxxxx>
Date:   Thu Apr 25 15:43:47 2019 +0300

    Merge branch 'tor-github/pr/953'

 changes/bug30189       |  4 ++++
 src/lib/log/util_bug.c | 14 ++++++++++++++
 src/lib/log/util_bug.h |  8 +++++---
 3 files changed, 23 insertions(+), 3 deletions(-)

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