Stephan, I'm following up on GNU grep Bug#28303
<https://debbugs.gnu.org/28083> dated 2017-08-13, which ends with this
email from you dated 2019-12-31:
I'd still like to
get this patch in, so let's restart. I kept my branch around and the patch
rebased cleanly (with a trivial merge to NEWS). I'll email the FSF this
week.
I don't see any record of your assigning copyright to the FSF since
then, which means your patch still isn't in GNU grep. If you're still
interested in getting it done please let us know, and we can restart the
process again.
