Bug#841070: RFS: gnome-shell-extensions-remove-dropdown-arrows/7-1, ITP: 829071 -- removes drop down, arrows from panel on GNOME shell

Mon, 24 Oct 2016 04:16:22 -0700 

Hey Tobi

I uploaded a new version that addresses that and the nitpicks you mentioned:

https://mentors.debian.net/package/gnome-shell-extension-remove-dropdown-arrows

-Jonathan

Reply via email to