Feel free to close it. As there is a workaround (running gnome-screensaver) it isn't really a problem, and even if I still want it changed it would be better to ask upstream.
Feel free to close it. As there is a workaround (running gnome-screensaver) it isn't really a problem, and even if I still want it changed it would be better to ask upstream.