[torbutton/master] Pickup final banner changes
by gk@torproject.org 13 Nov '16

13 Nov '16

11 Nov '16