Bug#729288: Patch proposed upstream works for me

[Michael Herold]

Editing /usr/share/gnome-shell/js/ui/status/network.js as proposed in 
<https://bugzilla.gnome.org/show_bug.cgi?id=698962#c13> fixes the 
problem for me.

--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org