On 11/15/11 08:36, Jim Meyering wrote: > Undoing it seems best.
OK, done.
- [PATCH] doc: update for ISO/IEC 80000-13 Paul Eggert
- Re: [PATCH] doc: update for ISO/IEC 80000-13 Jim Meyering
- Re: [PATCH] doc: update for ISO/IEC 80000-13 Paul Eggert
- Re: [PATCH] doc: update for ISO/IEC 80000-13 Bjartur Thorlacius
- Re: [PATCH] doc: update for ISO/IEC 80000-13 Eric Blake
- Re: [PATCH] doc: update for ISO/IEC 80000-... Jim Meyering
- Re: [PATCH] doc: update for ISO/IEC 80... Bob Proulx
- id.c comments [was: [PATCH] doc: ... Eric Blake
- Re: [PATCH] doc: update for ISO/IEC 80000-13 Bob Proulx
