Bug#993577: RM: gnome-shell-extension-remove-dropdown-arrows/-1 -- ROM; No longer needed in GNOME 40

Fri, 03 Sep 2021 03:51:13 -0700 

Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: [email protected], [email protected]

Dear ftp-master, please remove gnome-shell-extension-remove-dropdown-arrows,
the issue it addresses is now part of upstream GNOME.

thanks,

-Jonathan

Reply via email to