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

nickm at torproject.org nickm at torproject.org
Fri Jun 5 14:12:07 UTC 2020


commit f548f1475bee7d85629be4411e09d05836eba942
Merge: 1fb9be539 5ba7d494c
Author: Nick Mathewson <nickm at torproject.org>
Date:   Fri Jun 5 10:12:00 2020 -0400

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

 .gitignore | 2 --
 1 file changed, 2 deletions(-)



More information about the tor-commits mailing list