bug #6431 not in bugfix list of 1.7.1

[Marco Ciancimino]

Hi,
as far as I know Pierre van Rooden has fixed bug #6431 3 or 4 months ago.
Is the fix included in the 1.7.1 release?

Regards,
Marco Ciancimino