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