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.
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.