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

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-pro...