bug#20628: 25.0.50; Incorrect line height for some fonts

[Eli Zaretskii]

> Date: Sat, 23 May 2015 16:47:56 +0900
> From: YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
> Cc: Oleh Krehel <ohwoeowho@gmail.com>,
>       clement.pitclaudel@live.com,
>       20628@debbugs.gnu.org
> 
> >>>>> On Sat, 23 May 2015 10:10:06 +0300, Eli Zaretskii <eliz@gnu.org> said:
> 
> > Patches to introduce a list of fonts to ignore while searching for a
> > suitable font, and allow users to configure that list, will be
> > welcome.
> 
> face-ignored-fonts ? 

Yep, looks like it, thanks.  And completely undocumented in any
manual.

So, Oleh, does this variable help to avoid using the offending font?