[patch #7016] Improve documentation's mentions of PCRE

[Paolo Bonzini]

Update of patch #7016 (project grep):

                  Status:                    None => Done                   
             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #2:

I think this has been applied.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/patch/?7016>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/