Re bug #8132

[Andrew Talbot]

I have marked this bug as fixed, because Alex has written some patches that,
indeed, fix it. But these will be held back until after the code freeze, so
the bug is still actually present in the current code. Would it be
preferable to reopen it, therefore, until the patches are actually applied?

Thanks,