On Tue, Mar 6, 2012 at 7:10 AM, Michael Fields <michael at mfields.org> wrote: > I'm thinking this might be a regression though since the ticket does not > mention a font change. > You are probably right.