[tor-commits] [tpo/staging] Merge remote-tracking branch 'anto/master'

commit 4743c462d280eb95fb1950586048e462c74b20f3 Merge: 3050853 fe37f17 Author: hiro <hiro@torproject.org> Date: Tue Apr 16 18:19:45 2019 +0200 Merge remote-tracking branch 'anto/master' templates/download.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)