commit 0633db0e9cabaf83b035d0eb44a97155b37675b4
Merge: a99ed67 47ff237
Author: Mike Perry <mikeperry-git at torproject.org>
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(+)