right, this bug is fixed with the hoary version, I'm closing it. Feel free to reopen if you get it again.
right, this bug is fixed with the hoary version, I'm closing it. Feel free to
reopen if you get it again.