14 Oct
2011
14 Oct
'11
2:40 p.m.
On Thu, Oct 13, 2011 at 11:33 PM, Eduardo Tongson <propolice@gmail.com> 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