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 protected] 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.
