[debbugs-tracker] Processed: Re: bug#8102: [head] do not return EXIT_SUCCESS upon premature EOF

[GNU bug Tracking System]

Processing commands for address@hidden:

> tags 8102 + notabug
Bug #8102 [coreutils] [head] do not return EXIT_SUCCESS upon premature EOF
Ignoring request to alter tags of bug #8102 to the same tags previously set
> close 8102
bug#8102: [head] do not return EXIT_SUCCESS upon premature EOF
bug closed, send any further explanations to
address@hidden and Bjartur Thorlacius <address@hidden>

> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/