On Sep 7, 2013, at 12:27 PM, Marc Glisse <[email protected]> wrote:
> Now flag_check_new should probably disable this optimization…

Yes, this why my point.

Reply via email to