On 07/31/2015 12:14 AM, Zack Weinberg wrote: > Ping? > > On Sat, Jul 25, 2015 at 11:10 AM, Zack Weinberg <zackw@panix.com> wrote: >> Thunderbird appears to have mangled the patch, so I am sending it again >> as an attachment. Sorry about this. Checked in. c.