[aur-requests] [PRQ#19364] Deletion Request for gnome-shell-extension-intellij-idea-search-provider
19 May
2020
19 May
'20
1:34 p.m.
lunaryorn [1] filed a deletion request for gnome-shell-extension- intellij-idea-search-provider [2]: Superseded by https://aur.archlinux.org/packages/gnome-shell- extension-jetbrains-search-provider/ [1] https://aur.archlinux.org/account/lunaryorn/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-intellij-idea-search...
23 May
23 May
10:26 a.m.
New subject: [aur-requests] [PRQ#19364] Deletion Request for gnome-shell-extension-intellij-idea-search-provider Accepted
Request #19364 has been accepted by polyzen [1]. [1] https://aur.archlinux.org/account/polyzen/
1686
Age (days ago)
1690
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org