commit 5782cee71d2dd02875870269f33ea5761b8097f3 Merge: d819dfbde 87a3c5b11 Author: George Kadianakis <[email protected]> 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(-)
_______________________________________________
tor-commits mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits
