=== chihchun_afk is now known as chihchun | ||
=== JanC is now known as Guest55043 | ||
=== JanC_ is now known as JanC | ||
=== chihchun is now known as chihchun_afk | ||
ckrzen | Howdy. With Ubuntu transitioning (back)to Gnome(-shell), I would love to see the 'gnome-shell-extension-[dash-to-panel] included in 'Section: universe/gnome'. What is the best way for me to RFP(request for package) since the current maintainers are: 'Maintainer: Ubuntu Developers'? | 13:37 |
---|---|---|
ckrzen | s/Gnome/GNOME | 13:43 |
ckrzen | Just found: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=852164 which is the upstream RFP. Will this get automatically included in future syncs to Ubuntu? | 15:35 |
ubot5 | Debian bug 852164 in wnpp "ITP: gnome-shell-extension-dash-to-panel -- moves the dash into the gnome main panel so that the application launchers and system tray are combined into a single panel" [Wishlist,Open] | 15:35 |
=== kenvandine_ is now known as kenvandine |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!