bug-groff
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #62941] [troff] no warning when font family nonexistent


From: Dave
Subject: [bug #62941] [troff] no warning when font family nonexistent
Date: Tue, 23 Aug 2022 14:51:14 -0400 (EDT)

Follow-up Comment #9, bug #62941 (project groff):

[comment #7 comment #7:]
> I surmise that it was due to a stale browser tab.

Yeah, I wish Savannah would warn if a more recent change has happened
underneath you.  Sometimes I check first, but ultimately it's a race condition
that the human operator can't always detect, but the software could.


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?62941>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]