[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug #62941] groff no longer warns about nonexistent font
From: |
Dave Kemper |
Subject: |
Re: [bug #62941] groff no longer warns about nonexistent font |
Date: |
Tue, 23 Aug 2022 13:16:32 -0500 |
On 8/23/22, Deri <deri@chuzzlewit.myzen.co.uk> wrote:
> Nikita used a font called TMR, could not reproduce with TinosR but found
> U-TR did show the bug.
Thanks, Deri. I started looking into #62934 thinking it might be
something simple, but I abandoned it once you posted your explanation
of what was going on, and can confidently say I never would have
figured that out. :)
When creating new bug reports, if another bug served as its "origin
story" I'll usually include a pointer to it. This may occasionally be
helpful in debugging the problem, but it's mostly for my own benefit:
sometimes I'll find it useful later in chasing down some bug report
whose details I can't remember but that I do remember spawning another
problem.
- [bug #62941] groff no longer warns about nonexistent font, (continued)
- [bug #62941] groff no longer warns about nonexistent font, Dave, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, G. Branden Robinson, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, G. Branden Robinson, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, G. Branden Robinson, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, G. Branden Robinson, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, Dave, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, G. Branden Robinson, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, Dave, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, Dave, 2022/08/23
Re: [bug #62941] groff no longer warns about nonexistent font, Deri, 2022/08/23
- Re: [bug #62941] groff no longer warns about nonexistent font,
Dave Kemper <=