[aur-requests] [PRQ#1463] Deletion Request for gnome-shell-extension-pomodoro

haaja [1] filed a deletion request for gnome-shell-extension-pomodoro [2]: This extension is no longer developed and doesn't work on current gnome version in our repositories. It is replaced by gnome-shell-pomodoro (https://aur.archlinux.org/packages/gnome-shell-pomodoro/). [1] https://aur.archlinux.org/account/haaja/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-pomodoro/