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

[asn@xxxxxxxxxxxxxx]

commit 09769779a0b0d422b1cc4ec22ca8d95daba706ba
Merge: 6677eae57 0c07cd24d
Author: George Kadianakis <desnacked@xxxxxxxxxx>
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(-)

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