On 07/08/2014 03:38 PM, Eric Blake wrote:
> [adding bug-gnulib]
>
> On 07/08/2014 08:05 AM, Guido Günther wrote:
>> On Tue, Jul 08, 2014 at 03:49:02PM +0200, Jenkins CI wrote:
>>> 0.43 prohibit_empty_lines_at_EOF
>>> prohibit_error_without_use
>>> grep: write error
>>> grep: write error
>>> /bin/s
[adding bug-gnulib]
On 07/08/2014 08:05 AM, Guido Günther wrote:
> On Tue, Jul 08, 2014 at 03:49:02PM +0200, Jenkins CI wrote:
>> 0.43 prohibit_empty_lines_at_EOF
>> prohibit_error_without_use
>> grep: write error
>> grep: write error
>> /bin/sed: couldn't write 25 items to stdout: Broken pipe
>
