Re: 07-fyi-deterministic-cond3.patch

[Akim Demaille]

>>>>> "Tom" == Tom Tromey <address@hidden> writes:

Tom> This looks like a good bug fix sort of patch.  We should put
Tom> straightforward bug fixes onto the 1.5 branch with an eye towards
Tom> releasing 1.5.1 in the near-ish future.

Hi Tom,

Personally I would release the trunk.  It contains only bug fixes, the
combinatorial explosion can be considered as such, and anyway, as far
as I'm concerned, it works, I use it.

So why not releasing 1.6 +/- now?

Robert still has a few issues to be able to use it at wide scale, but
it's the same with 1.5.

I would really 1.6, not 1.5.1.