[aur-requests] [PRQ#3096] Merge Request for gnome-shell-extension-remove-dropdown-arrows

notify at aur.archlinux.org notify at aur.archlinux.org
Mon Apr 20 23:52:03 UTC 2015


XZS [1] filed a request to merge
gnome-shell-extension-remove-dropdown-arrows [2] into
gnome-shell-extension-remove-dropdown-arrows-git [3]:

This package ever since used sources from git, but missed the suffix
to denote so. Now it was renamed and the misleading old variant should
be merged into the correctly named new one.

[1] https://aur.archlinux.org/account/XZS/
[2]
https://aur.archlinux.org/pkgbase/gnome-shell-extension-remove-dropdown-arrows/
[3]
https://aur.archlinux.org/pkgbase/gnome-shell-extension-remove-dropdown-arrows-git/


More information about the aur-requests mailing list