[PRQ#37476] Merge Request for gnome-shell-extension-fuzzy-app-search
19 Sep
2022
19 Sep
'22
4:11 p.m.
yochananmarqos [1] filed a request to merge gnome-shell-extension- fuzzy-app-search [2] into gnome-fuzzy-app-search [3]: Duplicate package. [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-fuzzy-app-search/ [3] https://aur.archlinux.org/pkgbase/gnome-fuzzy-app-search/
25 Sep
25 Sep
10:49 a.m.
New subject: [PRQ#37476] Merge Request for gnome-shell-extension-fuzzy-app-search Rejected
Request #37476 has been Rejected by muflone [1]: approved a previous request to merge the two packages in the opposite way [1] https://aur.archlinux.org/account/muflone/
1077
Age (days ago)
1083
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org