Bug#842694: ITP: gnome-shell-extension-proxy-switcher -- gnome-shell-extension-proxy-switcher

[Jonathan Carter <jcarter@linux.com>]

Package: wnpp
Severity: wishlist
Owner: Jonathan Carter <jcarter@linux.com>

* Package name    : gnome-shell-extension-proxy-switcher
  Version         : 1.2
  Upstream Author : Tom Flannaghan <tomflannaghan@gmail.com>
* URL             : https://github.com/tomflannaghan/proxy-switcher
* License         : GPL-2+
  Programming Lang: JavaScript
  Description     : gnome-shell-extension-proxy-switcher

Adds an option to the GNOME Shell system menu that allows a user
to quickly switch between no proxy, manual proxy and automatic
proxy settings.