[tor/master] Merge remote-tracking branch 'tor-github/pr/910'

16 Apr
2019
16 Apr
'19
12:09 p.m.
commit 82b690d7da7951bde0238c440139e62e983a0a84 Merge: 7b2357a37 e8e693163 Author: Nick Mathewson <nickm@torproject.org> Date: Tue Apr 16 08:09:20 2019 -0400 Merge remote-tracking branch 'tor-github/pr/910' changes/ticket30033 | 4 ++++ scripts/git/pre-push.git-hook | 7 +++++++ 2 files changed, 11 insertions(+)
2245
Age (days ago)
2245
Last active (days ago)
0 comments
1 participants
participants (1)
-
nickm@torproject.org