As this patch is installed I'm taking the liberty of marking the bug as
done.
- bug#16777: [PATCH] Revert "grep: DFA now uses rational... Paolo Bonzini
- bug#16777: [PATCH] Revert "grep: DFA now uses rat... arnold
- bug#16777: [PATCH] Revert "grep: DFA now uses rat... Jim Meyering
- bug#16777: [PATCH] Revert "grep: DFA now uses rat... Paul Eggert
- bug#16777: [PATCH] Revert "grep: DFA now uses... Aharon Robbins
- bug#16777: [PATCH] Revert "grep: DFA now ... Paul Eggert
- bug#16777: [PATCH] Revert "grep: DFA now uses rat... Paul Eggert
