Processed: Re: Bug#711522: gnome-shell: Can't set time to automatically update from network

[Debian Bug Tracking System]

Processing control commands:

> reassign 711522 gnome-control-center
Bug #711522 [gnome-shell] gnome-shell: Can't set time to automatically update from network
Bug reassigned from package 'gnome-shell' to 'gnome-control-center'.
No longer marked as found in versions gnome-shell/3.4.2-7.
Ignoring request to alter fixed versions of bug #711522 to the same values previously set

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