[PRQ#37563] Merge Request for gnome-fuzzy-app-search-git
25 Sep
2022
25 Sep
'22
2:23 p.m.
yochananmarqos [1] filed a request to merge gnome-fuzzy-app-search-git [2] into gnome-shell-extension-fuzzy-app-search-git [3]: Rename package to common naming scheme. [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/gnome-fuzzy-app-search-git/ [3] https://aur.archlinux.org/pkgbase/gnome-shell-extension-fuzzy-app-search-git...
20 Oct
20 Oct
9:45 p.m.
New subject: [PRQ#37563] Merge Request for gnome-fuzzy-app-search-git Accepted
Request #37563 has been Accepted by muflone [1]: [Autogenerated] Accepted merge for gnome-fuzzy-app-search-git into gnome-shell-extension-fuzzy-app-search-git. [1] https://aur.archlinux.org/account/muflone/
757
Age (days ago)
782
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org