Update of bug #16567 (project grep):
Status: None => Duplicate
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #2:
Thanks for the report, Sebastian. Yes, it's already fixed. I am closing
this, calling it a "duplicate" of patch #3800, although that wasn't exactly a
bug report so it's unsurprising that you didn't find it.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=16567>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
