Subject: Re: bug#32093: 27.0.50; M-x grep appends /dev/null to command line

From: Eli Zaretskii <[email-masked]>
Date: Sun, 08 Jul 2018 22:04:40 +0300

> From: Noam Postavsky <[email-masked]>
> Date: Sun, 08 Jul 2018 08:19:47 -0400
> Cc: [email-masked], Michael Albinus <[email-masked]>
> 
> file, the string "English" is no longer at the beginning of the line
> since [1: 3589c966b7].

Oops!

But is there a good reason why we use HELLO for that?  Why not README,
say, whose first line will always start with "Copyright"?