Your message dated Sun, 31 Jul 2022 12:19:06 +0200 with message-id and subject line Re: [PATCH staging v2 00/20] Update gstreamer et al. to 1.20.3 has caused the debbugs.gnu.org bug report #54744, regarding [PATCH] Update gstreamer and its families to 1.20.1. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 54744: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=54744 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems