[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/1987/head'

nickm at torproject.org nickm at torproject.org
Wed Jul 29 14:59:05 UTC 2020


commit 75f94ea1ec72df18d0f4435ee110bd667c9a142f
Merge: eba2870d18 54d9e1b91f
Author: Nick Mathewson <nickm at torproject.org>
Date:   Wed Jul 29 10:58:47 2020 -0400

    Merge remote-tracking branch 'tor-github/pr/1987/head'

 src/feature/control/control_cmd.c | 1 -
 1 file changed, 1 deletion(-)



More information about the tor-commits mailing list