gnome-shell-timer (0.3.20+20171025-2) unstable; urgency=medium * Drop upper limit on gnome-shell dependency. Closes: #891305 -- Raphaƫl Hertzog <email address hidden> Sat, 24 Feb 2018 21:27:54 +0100