Re: [lmi] Header pagination PR

[Greg Chicares]

On 2018-09-23 22:43, Vadim Zeitlin wrote:
> On Sun, 23 Sep 2018 21:55:47 +0000 Greg Chicares <address@hidden> wrote:
> 
> GC> This seems to be caused by the new <header> tag, which is currently
> GC> used in one MST file only.
[...]
>  The following patch fixes this too:

Committed and pushed.

> but if the previous one was vaguely unsatisfactory, this one is downright
> ugly because there should just be no need for the code here to care about
> the fonts...

Such is recursion, I guess.