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
Control: owner -1 !
Will take a look later
--
Tobias Frost
GPG fingerprint: 13C9 04F0 CE08 5E7C 3630 7985 DECF 849A A635 7FB7
Reply to: