gnome-shell-extension-remove-dropdown-arrows (13-1) unstable; urgency=medium * New upstream release -- Jonathan Carter <email address hidden> Fri, 20 Sep 2019 10:14:32 +0000