/srv/irclogs.ubuntu.com/2017/05/11/#ubuntu-app-devel.txt

=== 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
ckrzenHowdy. 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
ckrzens/Gnome/GNOME13:43
ckrzenJust 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
ubot5Debian 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!