Gary Byers wrote:
>
> Ugh.
>
> That (at least the case that you reported) should be fixed in the trunk
> as of r15173. The bug has indeed been there since 1.6.
>
Thanks for the fix. All failures that I have saw previously
are now gone.
--
Waldek Hebisch
hebisch at math.uni.wroc.pl