Your message dated Fri, 6 Aug 2021 22:22:50 -0700 with message-id and subject line Re: bug#47834: grep: Document --group-separator/--no-group-separator has caused the debbugs.gnu.org bug report #47834, regarding grep: Document --group-separator/--no-group-separator to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 47834: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=47834 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems