Processed: Re: Bug#727192: gnome-screensaver: From 3.6 ignores pam and doesn't renew kerberos ticket

[Debian Bug Tracking System]

Processing control commands:

> reassign 727192 gdm3
Bug #727192 [gnome-shell] gnome-screensaver: From 3.6 ignores pam and doesn't renew kerberos ticket
Bug reassigned from package 'gnome-shell' to 'gdm3'.
No longer marked as found in versions gnome-shell/3.8.4-4.
No longer marked as fixed in versions gnome-shell/3.14.4-1~deb8u1.
> retitle 727192 gdm3: From 3.6 ignores pam and doesn't renew kerberos ticket
Bug #727192 [gdm3] gnome-screensaver: From 3.6 ignores pam and doesn't renew kerberos ticket
Changed Bug title to 'gdm3: From 3.6 ignores pam and doesn't renew kerberos ticket' from 'gnome-screensaver: From 3.6 ignores pam and doesn't renew kerberos ticket'.
> fixed 727192 3.12.0-1
Bug #727192 [gdm3] gdm3: From 3.6 ignores pam and doesn't renew kerberos ticket
Marked as fixed in versions gdm3/3.12.0-1.
> close 727192
Bug #727192 [gdm3] gdm3: From 3.6 ignores pam and doesn't renew kerberos ticket
Marked Bug as done

-- 
727192: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=727192
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems