Does anyone know what was fixed in the non-exhaustive optimizers?  I'm 
wondering if the change is important enough to justify upgrading.

Reply via email to