On Sun, Jan 20, 2013 at 1:15 PM, Paul Pluzhnikov <[email protected]> wrote: > On Sun, Jan 20, 2013 at 3:16 AM, Gerald Pfeifer <[email protected]> wrote: >> Isn't the error message wrong, then? > > Thanks for catching that! Updated patch attached.
OK for google branches. Diego.
