Xinliang David Li <davi...@google.com> writes: > Changing the option is part of the plan.
Indeed.
> Dodji, can you make the option change part of one the patches (e.g,
> the first one that introduces it) -- there seems no need for a
> separate patch for it.
Sure thing. I have done the change on my local tree. I'll re-submit
the patch a bit later. I am doing a bit of patch merging along with
that one, in reply to the comments made by Joseph in another subtread.
Cheers.
--
Dodji
