|
| From: | Pádraig Brady |
| Subject: | bug#13280: od 8.19: inappropriate formatting of the man pages |
| Date: | Thu, 27 Dec 2012 13:44:23 +0000 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:13.0) Gecko/20120615 Thunderbird/13.0.1 |
On 12/27/2012 12:49 PM, Bernhard Voelker wrote:
On December 27, 2012 at 12:42 PM "Pádraig Brady" <address@hidden> wrote:On 12/26/2012 07:43 AM, Akim Demaille wrote: I've adjusted things a bit in the attached patch,Looks good. As it was reported as a bug, shouldn't we mention it in the commit message: - Reported by Akim Demaille. + Reported by Akim Demaille in http://bugs.gnu.org/13280.
Good point.
and (maybe even) in NEWS?
No need for NEWS I think.
For NEWS, the change may be too marginal, but at least a reference in Git would be great IMO.
thanks for the review! Pádraig.
| [Prev in Thread] | Current Thread | [Next in Thread] |