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

commit f548f1475bee7d85629be4411e09d05836eba942 Merge: 1fb9be539 5ba7d494c Author: Nick Mathewson <nickm@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(-)