[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/1358'
nickm at torproject.org
nickm at torproject.org
Thu Oct 3 13:18:06 UTC 2019
commit 5fd137c482919d906f1011a8ebbff6aa0f454b5d
Merge: de7fcae72 3d17fafa0
Author: Nick Mathewson <nickm at torproject.org>
Date: Thu Oct 3 09:11:49 2019 -0400
Merge remote-tracking branch 'tor-github/pr/1358'
changes/ticket31840 | 3 ++
scripts/maint/practracker/exceptions.txt | 2 +-
src/feature/control/control.c | 79 ++++++++++++++++++++++----------
3 files changed, 59 insertions(+), 25 deletions(-)
More information about the tor-commits
mailing list