Subject: bug#13280: od 8.19: inappropriate formatting of the man pages

From: Pádraig Brady <[email-masked]>
Date: Thu, 27 Dec 2012 13:44:23 +0000

On 12/27/2012 12:49 PM, Bernhard Voelker wrote:
> On December 27, 2012 at 12:42 PM "Pádraig Brady" <[email-masked]> 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.