If no one is willing to debate this, I'll move it to a sync request again...
Jirka, thanks anyway for working on a merge. Debian caught up in the meantime.
If no one is willing to debate this, I'll move it to a sync request again...
Jirka, thanks anyway for working on a merge. Debian caught up in the meantime.