[tor/master] Merge branch 'tor-github/pr/1377'

3 Oct
2019
3 Oct
'19
4:14 p.m.
commit 9309eaf8ead0058aed6f1399b63fc8ae54cef799 Merge: 3778b97ca db329522e Author: George Kadianakis <desnacked@riseup.net> Date: Thu Oct 3 19:13:57 2019 +0300 Merge branch 'tor-github/pr/1377' changes/bug31854 | 3 +++ src/lib/log/log.c | 22 ++++++++++++---------- src/lib/log/log.h | 13 ++++++++++++- src/test/test_options.c | 6 +++--- 4 files changed, 30 insertions(+), 14 deletions(-)
2053
Age (days ago)
2053
Last active (days ago)
0 comments
1 participants
participants (1)
-
asn@torproject.org