Bug#884725: gnome-shell-pomodoro: New upstream 0.13.4

2017-12-18 Thread Joseph Herlant
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 kn

Bug#884725: gnome-shell-pomodoro: New upstream 0.13.4

2017-12-18 Thread Richard Ayotte
Package: gnome-shell-pomodoro Version: 0.13.3-1 Severity: important Dear Maintainer, Please build latest upstream. It fixes an important issue that cause frequent crashes and potential loss of data. https://github.com/codito/gnome-pomodoro/issues/320 https://bugs.debian.org/cgi-bin/bugreport.cgi