Your message dated Tue, 05 Oct 2021 13:47:24 +0200 with message-id <87pmsjr8fx.fsf@nckx> and subject line Re: [bug#51023] [PATCH] gnu: php: patch failing test case has caused the debbugs.gnu.org bug report #51023, regarding [PATCH] gnu: php: patch failing test case to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 51023: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=51023 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems