The issues brought up in this Grep bug report seem to be resolved one
way or another, so I'm closing the bug report.
- bug#51144: GNU grep 3.7 fail... Paul Eggert
- bug#51144: GNU grep 3.7... Alexey Dokuchaev via Bug reports for GNU grep
- bug#51144: GNU grep... Paul Eggert
- bug#51144: GNU ... Alexey Dokuchaev via Bug reports for GNU grep
- bug#51144: ... Paul Eggert
- bug#51144: ... Bruno Haible
