Bug#1007898: RM: gnome-shell-extension-hide-veth -- ROM; RC buggy, no longer maintained

[Jonathan Carter]

Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: j...@debian.org

Please remove gnome-shell-extension-hide-veth

It is RC buggy and no longer maintained upstream.