Thanks for catching that; I installed the patch with a slightly reworded
ChangeLog entry.
- bug#17516: [PATCH] grep: no count newline at the head of a... Norihiro Tanaka
- bug#17516: [PATCH] grep: no count newline at the head... Paul Eggert
- bug#17516: [PATCH] grep: no count newline at the ... Norihiro Tanaka
- bug#17516: [PATCH] grep: no count newline at ... Paul Eggert
- bug#17516: [PATCH] grep: no count newline at ... Jim Meyering
- bug#17516: [PATCH] grep: no count newline... Eric Blake
- bug#17516: [PATCH] grep: no count ne... Jim Meyering
