Your message dated Thu, 14 Jul 2016 20:00:35 +0200 with message-id <5787D343.4080208@cs.ucla.edu> and subject line Re: bug#23983: [PATCH] grep: fix crash with a pattern of alternation of two same characters has caused the debbugs.gnu.org bug report #23983, regarding [PATCH] grep: fix crash with a pattern of alternation of two same characters to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 23983: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=23983 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems