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.

Reply via email to