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

[hiro at torproject.org]

commit 4743c462d280eb95fb1950586048e462c74b20f3
Merge: 3050853 fe37f17
Author: hiro <hiro at 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(-)