Package: ftp.debian.org Severity: normal X-Debbugs-Cc: hert...@debian.org The upstream maintainer has abandoned this extension a long time ago. I kept it alive for as long as I was using it but I'm no longer using it as there's a better maintained alternative (though I haven't packaged it): https://github.com/blackjackshellac/kitchenTimer https://extensions.gnome.org/extension/3955/kitchen-timer/
So please remove gnome-shell-timer from Debian. Thank you.
