Oh, I didn't see your comment about "distribution", but I can make a new patch. I am not sure how urgent this is. I'd suggest you file a bug in Debian, if they don't react, we'll include this in the next Ubuntu version.
Oh, I didn't see your comment about "distribution", but I can make a new patch. I am not sure how urgent this is. I'd suggest you file a bug in Debian, if they don't react, we'll include this in the next Ubuntu version.