Bug#735023: please relax Dependency on gdm3

2014-01-12 Thread Robert Millan
On 12/01/2014 19:17, Michael Biebl wrote: Am 12.01.2014 00:16, schrieb Robert Millan: Have you tried locking your screen? No. And I just rechecked, but I couldn't find any button to do that. Please can you provide more details on what I should try? Mind that I'm completely unfamiliar with

Bug#735023: please relax Dependency on gdm3

2014-01-11 Thread Robert Millan
Package: gnome-shell Version: 3.8.4-5 Tags: patch Hi, This package Depends on gdm3, I assume because it interacts with it in intimate ways (switch user button?). However, it seems that even if gdm3 might be a better choice for GNOME users, gnome-shell is still usable without. I

Bug#735023: please relax Dependency on gdm3

2014-01-11 Thread Michael Biebl
Am 11.01.2014 23:55, schrieb Robert Millan: Package: gnome-shell Version: 3.8.4-5 Tags: patch Hi, This package Depends on gdm3, I assume because it interacts with it in intimate ways (switch user button?). However, it seems that even if gdm3 might be a better choice for GNOME users,

Bug#735023: please relax Dependency on gdm3

2014-01-11 Thread Robert Millan
On 12/01/2014 00:05, Michael Biebl wrote: Am 11.01.2014 23:55, schrieb Robert Millan: Package: gnome-shell Version: 3.8.4-5 Tags: patch Hi, This package Depends on gdm3, I assume because it interacts with it in intimate ways (switch user button?). However, it seems that even if gdm3