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

[asn at torproject.org]

commit 811a93f80333d0f31ea9a46d9a1606c8e4ef11da
Merge: 6320b2988 358df1806
Author: George Kadianakis <desnacked at riseup.net>
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(-)