Paul van Wamelen on Fri, 19 Mar 99 15:23:05 -0600

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Two bugs, well ok, ONE bug :)

Dear All,

As Igor pointed out the first bug has been patched.
For the second,

>Looks like this has been broken ever since 2.0.11, possible even
I just tried it on 2.0.9 that I have lying around: broken even back then...

In fact this is probably easy to fix, it looks like the flag is just being  
ignored (up to discriminant 400 flag 1 gives the same as no flag).

Enjoy the weekend!