It seems that my mail hasn't hit the archive yet, probably because I'm not subscribed and a moderator has to approve it first.
I have now submitted a bug report upstream and included the patch. I also hope I got all the references correct now.
It seems that my mail hasn't hit the archive yet, probably because I'm not subscribed and a moderator has to approve it first.
I have now submitted a bug report upstream and included the patch. I also hope I got all the references correct now.