[patch #3812] inability to read directories on READ_DIRECTORIES becomes a suppressible error

[Paolo Bonzini]

Update of patch #3812 (project grep):

             Open/Closed:                  Closed => Open                   


    _______________________________________________________

Reply to this item at:

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

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