So upstream has marked the bug as obsolete, since GNOME 3 has dropped gnome-appearance-properties. Do we want to apply the patch in Ubuntu? Or is Ubuntu also dropping gnome-appearance-properties with the move to unity? Either way, I'm sure Debian would be interested in this bug, since they have a strict "no missing man pages policy."
So upstream has marked the bug as obsolete, since GNOME 3 has dropped gnome-appearanc e-properties. Do we want to apply the patch in Ubuntu? Or is Ubuntu also dropping gnome-appearanc e-properties with the move to unity? Either way, I'm sure Debian would be interested in this bug, since they have a strict "no missing man pages policy."