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

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