On Thu, Oct 13, 2011 at 11:33 PM, Eduardo Tongson <[email protected]> wrote:
> Thanks!

Thanks- applied to maint. Note that we do prefer git format patches
with commit messages, but this one is pretty trivial and a clear bug
so not a big deal.

-Dan

Reply via email to