[aur-requests] [PRQ#19364] Deletion Request for gnome-shell-extension-intellij-idea-search-provider

[notify at aur.archlinux.org]

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-provider/