On 30 January 2013 17:21, Bernardo Dal Seno <[email protected]> wrote: > On 30 January 2013 16:56, Michael Hanselmann <[email protected]> wrote: >> 2013/1/30 Bernardo Dal Seno <[email protected]>: >>> In fact I did make assumption about the settings, and more than I thought. >>> >>> Interdiff (see also interdiff for 4/17 and 17/17): >> >> LGTM, except maybe try/finally > > Sorry, can you please explain the "maybe" part?
I guess it's the same as in the next patch. Bernardo
