Bug#852935: RFS: gnome-shell-extension-dash-to-panel/3-1 ITP: 852164 -- combines the dash and the GNOME main panel into a single panel

[Tobias Frost <tobi@debian.org>]

Control: tags -1 moreinfo

Hi Jonathan,

some work to be done... 

- the extension claims compatiblity with gnome-shell >=  3.18,
d/control says >= 3.16
- the license is GPL-2+ according to README.md and the source files.
- I think the people mentioned in the credits section of e.g panel.js
should also be mentioned as copyright owners, especially if code was
copied from them.
- The lintian override sounds actually like being an upstream bug: SW
should not crash when there is a directory missing. Please do not
override it but report it. Best thing, of course, patch it :)

--
tobi