Bug#856590: systemd: Unspecified problems mounting /usr partition

2017-08-01 Thread Joel Cross
Thanks Michael, and sorry for the delay. I can confirm that this issue is fixed after the latest update to my system. -- Joel Cross j...@kazbak.co.uk On Tue, 20 Jun 2017, at 09:59 PM, Michael Biebl wrote: > Am 20.06.2017 um 22:54 schrieb Michael Biebl: > > Unfortunately the probl

Bug#837192: uninstallable in sid (not compatible with GNOME 3.21/3.22)

2016-10-04 Thread Joel Cross
On Mon, 3 Oct 2016, at 03:11 AM, Joseph Herlant wrote: > Thanks for your report Joel, > > Weird I didn't notice that earlier. Also weird gnome-tweak-tools don't > follow the changes made in gnome itself to not care about the versions > anymore. > I'm pushing the latest version fixing that tonight

Bug#837192: uninstallable in sid (not compatible with GNOME 3.21/3.22)

2016-09-28 Thread Joel Cross
Package: gnome-shell-pomodoro Version: 0.12.2-1 Followup-For: Bug #837192 Dear Maintainer, This problem still exists in the current GNOME Shell (3.21.91), in that the shell extension is still classed as out-of-date. To reproduce: * Install `gnome-shell-pomodoro` and `gnome-tweak-tool` * Open Twe