On Thu, Oct 13, 2011 at 11:33 PM, Eduardo Tongson <propolice at 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