olebowle [1] filed a deletion request for gnome-shell-extension-timer- git [2]:
Request to delete the package, since upstream (my github repo) is unmaintained for more then four years. [1] https://aur.archlinux.org/account/olebowle/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-timer-git/
