Many thanks to the both of you!
Andreas, do you think it would be possible to apply this fix to Jaunty's 1.2.7 package?
Many thanks to the both of you!
Andreas, do you think it would be possible to apply this fix to Jaunty's 1.2.7 package?