bug#44316: 26.3; Faces `fixed-pitch' and `fixed-pitch-serif' are opposite what they should be

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: stefankangas@gmail.com,  44316@debbugs.gnu.org
> Date: Sun, 01 Nov 2020 13:41:30 +0100
> 
> > The other part of the problem, which could be Windows-specific, is
> > that the MS-Windows font back-ends don't know about "Mono Serif"
> > family.  Do you always get a font with serifs when the family is "Mono
> > Serif"?  If so, we could perhaps teach MS-Windows do the same.  But
> > the result might be that both faces get the same font -- are we okay
> > with that?  One place where that could matter is in Info.
> 
> It looks like DejaVu Mono only has one variation, and it's...  with
> serifs?

No, it's without serifs, AFAICS.

But that's not what I was asking: the "Mono Serif" family could
include more than just DejaVu Mono.  I'm asking whether asking for
that family always brings fonts with serifs, or sometimes you get
fonts without serifs?  If you get DejaVu Mono, I guess the answer is
"the latter"?