Your message dated Wed, 25 Sep 2019 14:30:28 -0700 with message-id and subject line Re: [PATCH] New rx implementation with extension constructs has caused the debbugs.gnu.org bug report #37440, regarding [PATCH] New rx implementation with extension constructs to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 37440: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37440 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems