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

30 May
2019
30 May
'19
4:59 p.m.
commit 8dfc8d7063bf4b317bd47b7a2e8cccb0a428e861 Merge: a462ca7cc 8f3430fc2 Author: David Goulet <dgoulet@torproject.org> Date: Thu May 30 12:58:35 2019 -0400 Merge branch 'tor-github/pr/1057' changes/bug30629 | 6 ++++++ src/app/main/shutdown.c | 3 ++- 2 files changed, 8 insertions(+), 1 deletion(-)
2200
Age (days ago)
2200
Last active (days ago)
0 comments
1 participants
participants (1)
-
dgoulet@torproject.org