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

commit 09769779a0b0d422b1cc4ec22ca8d95daba706ba Merge: 6677eae57 0c07cd24d Author: George Kadianakis <desnacked@riseup.net> Date: Wed Sep 25 14:17:35 2019 +0300 Merge branch 'tor-github/pr/1357' changes/ticket31839 | 3 +++ doc/tor.1.txt | 11 ++++++++++- src/lib/log/log.c | 10 +++++++--- 3 files changed, 20 insertions(+), 4 deletions(-)