[tor-commits] [tor-launcher/master] Merge branch 'bug13576-01'

commit a37371ac9a866612e91a791251104184caad41ca Merge: b48d563 78f505c Author: Georg Koppen <gk@torproject.org> Date: Wed Apr 15 20:01:36 2015 +0000 Merge branch 'bug13576-01' src/chrome/content/network-settings-overlay.xul | 5 ++--- src/chrome/content/network-settings.js | 13 +++++-------- src/chrome/skin/network-settings.css | 10 ++++++++-- 3 files changed, 15 insertions(+), 13 deletions(-)