Florent, I submitted a bug report to the Debian maintainers of gnome-desktop. We'll see if anything comes of it. I supplied your patch.
Florent, I submitted a bug report to the Debian maintainers of gnome-desktop. We'll see if anything comes of it. I supplied your patch.