@Eric: Thank you so much -- this patch works.
And yes, I totally agree with your notion. The Ubuntu maintainers should be able to fix that for us. :)
@Eric: Thank you so much -- this patch works.
And yes, I totally agree with your notion. The Ubuntu maintainers should be able to fix that for us. :)