Your message dated Thu, 21 Dec 2023 11:27:53 +0200 with message-id and subject line Re: [bug#67757] [PATCH 00/19 rust-team] gnu: rust-apps: Update ripgrep to 14.0.3 has caused the debbugs.gnu.org bug report #67757, regarding [PATCH 00/19 rust-team] gnu: rust-apps: Update ripgrep to 14.0.3 to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 67757: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67757 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems