Hi Richard, As showed https://mentors.debian.net/package/gnome-shell-pomodoro or explained https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=882005 the new version has been packaged and uploaded to Mentors about 1 month ago. I haven't heard about my usual sponsor those last few weeks so I don't know when it's going to be pushed, but it's already packaged.
Joseph
