commit 5782cee71d2dd02875870269f33ea5761b8097f3 Merge: d819dfbde 87a3c5b11 Author: George Kadianakis <desnacked@riseup.net> Date: Tue Aug 27 11:43:10 2019 +0300 Merge branch 'tor-github/pr/1237' changes/ticket31451 | 4 ++++ src/lib/log/log.c | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-)