Your message dated Fri, 2 Jun 2023 16:45:15 +0200 with message-id and subject line Done: Patch was pushed as commit a7d9cd742c3149bb014db95f88d1158d590bc124 has caused the debbugs.gnu.org bug report #62293, regarding [PATCH] gnu: add pcsc-cyberjack to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 62293: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=62293 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems