Update of patch #3961 (project grep):
Status: None => Done
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #1:
Done. Thanks. Note that, for me at least, it wasn't causing "make" to fail.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/patch/?func=detailitem&item_id=3961>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
