[aur-requests] [PRQ#24671] Deletion Request for gnome-shell-extension-jetbrains-search-provider

[notify at aur.archlinux.org]

lunaryorn [1] filed a deletion request for gnome-shell-extension-
jetbrains-search-provider [2]:

I no longer maintain this extension; superseded by gnome-search-
providers-jetbrains

[1] https://aur.archlinux.org/account/lunaryorn/
[2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-jetbrains-search-provider/