On Sun, 2014-05-18 at 22:23 +0200, Joseph Herlant wrote: > Hi Ghislain, > > Thanks for the report. > I already planned to sart working on this subject in 2 weeks. > Is it ok for you or is it needed earlier? > > Note that latest version is not compatible with version 3.8 of > gnome-shell so it will only be available in experimental as long as > 3.12 is only available in experimental. > > Best regards, > Joseph > >
No big deal Joseph, this bug report was more intended as a friendly reminder that this extension, which I use a lot, might be breaking with the upcoming update to GS 3.12. You're probably best placed to evaluate a reasonable ETA for this than I am. Maybe just keep an eye on upcoming transitions. Worst case scenario, GS 3.12 gets to unstable quicker than expected and this pomodoro extension will have to be uninstalled for (hopefully) a short period of time. Good luck, and thanks for your work on this, Ghislain -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
