bug#17246: grep-2.19 planning

[Paul Eggert]

Paolo Bonzini wrote:
Ok, then is the release stalled?

That's up to Jim, but I wouldn't stall it.  This is not a big deal. 
grep formerly used scripts for this, so it's not like this is untested 
techology.