Subject: Re: bug#6726: [PATCH] sort: use more-consistent style with const
From: Pádraig Brady <[email-masked]>
To: Paul Eggert <[email-masked]>
Cc: [email-masked]
Date: Mon, 26 Jul 2010 10:33:08 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

On 26/07/10 03:35, Paul Eggert wrote:
> I installed the following to make the style more consistent, and in
> the process found some other glitches (and perhaps even some
> nearly-impossible-to-trigger bugs) which I'll follow up on shortly.

Looks good.

Note for messages like this, just informing of changes
rather than bugs, we usually use the [email-masked] address.
Ideally we'd just have this main list and be able to tag
messages as not being bugs, but that's not currently supported.

cheers,
Pádraig.