[tor-commits] [torbutton/master] Merge remote-tracking branch 'gk/bug_9387_12430'

[mikeperry@xxxxxxxxxxxxxx]

commit 0633db0e9cabaf83b035d0eb44a97155b37675b4
Merge: a99ed67 47ff237
Author: Mike Perry <mikeperry-git@xxxxxxxxxxxxxx>
Date:   Wed Feb 11 15:06:47 2015 -0800

    Merge remote-tracking branch 'gk/bug_9387_12430'

 src/chrome/content/torbutton.js |    2 ++
 1 file changed, 2 insertions(+)

_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits