Update of bug #16225 (project grep):
Status: None => Duplicate
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #2:
Thanks for the report, Markus. Indeed it has already been fixed. Probably a
duplicate of bug #13920. Closing.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=16225>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
