Thanks for the reply from upstream. :)
I'm now unsure what to do with the Ubuntu-part of this bug report, and whether that should simply be closed too. Christian, what do you think?
Thanks for the reply from upstream. :)
I'm now unsure what to do with the Ubuntu-part of this bug report, and whether that should simply be closed too. Christian, what do you think?