On 27/09/2011 23:14, Eli Friedman wrote: > On Mon, Sep 26, 2011 at 10:28 PM, r4start<r4start at gmail.com> wrote: >> ping :) What about my patch? > r140623; sorry about the delay. > > -Eli No problem:)