Your message dated Sun, 23 Feb 2025 10:59:32 -0700 with message-id <202502231759.51NHxWtR994843@freefriends.org> and subject line Re: [PATCH v3] tap: new `--stderr-prefix' option to prefix test script's stderr has caused the debbugs.gnu.org bug report #72536, regarding [PATCH] tap: new `--merge-prefix' option to prefix stderr before merging to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 72536: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=72536 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems