Re: Note on e65c307 breaks font-height

[Paul Eggert]

On 05/26/2016 08:22 AM, Eli Zaretskii wrote:
> we should debug the problem,
> understand exactly why it happens, and only then discuss how to fix it
> on the release branch.

Yes, and my patch was an attempt to be part of the first step in doing 
that; it was part of a series of questions I gave to Martin about his 
configuration and what sort of perturbations make it work or not work. I 
had no intent to install the patch willy-nilly. Sorry if I wasn't clear.