=== 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
[13:37] <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:43] <ckrzen> s/Gnome/GNOME
[15:35] <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]
=== kenvandine_ is now known as kenvandine