@carli
I guess it is easier and more useful to push for a change from Debian side, since multiple desk distros depend on Debian. Maybe close this one and re-file it in Debian? I don't know packaging to try it myself.
@carli
I guess it is easier and more useful to push for a change from Debian side, since multiple desk distros depend on Debian. Maybe close this one and re-file it in Debian? I don't know packaging to try it myself.