Re: Incorrect font weight selected

[Yuri D'Elia]

On Wed, Jan 05 2022, Dmitry Gutov wrote:
> I don't mind trying the patch, if you can reach an agreement with Eli
> that it is a somewhat reasonable change.
>
> FWIW, I have switched to a different font a week or so ago, so I
> wouldn't particularly object to the revert of the fix either.
>
> I do have the previous font available for testing, though.

Testing would still be nice though, to understand if the problem is the
same.