Update of bug #58016 (project groff):
Summary: Add an option "--label=<name>" to show an origin of
diagnostics => want option"--label=<name>" to show origin of diagnostics
_______________________________________________________
Follow-up Comment #6:
I neglected to correct Savannah link to bug #52463, so there it is.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?58016>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/