On 24 January 2013 12:37, Michael Hanselmann <[email protected]> wrote: > 2013/1/24 Bernardo Dal Seno <[email protected]>: >>> Btw, is "factorize" the right word? >> >> Of this is I'm not yet sure, though. > > I'll change both patches' subjects to use “refactor”.
Thanks! Bernardo
