[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #51415] [PATCH] .gitignore: Update names of created man-pages
From: |
G. Branden Robinson |
Subject: |
[bug #51415] [PATCH] .gitignore: Update names of created man-pages |
Date: |
Sun, 23 Jan 2022 00:44:37 -0500 (EST) |
Follow-up Comment #3, bug #51415 (project groff):
[comment #2 comment #2:]
> (This commit also fixed bug #51425.)
This comment is incorrect. See bug #51425 for the correct citation.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?51415>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/