Your message dated Thu, 06 Jun 2024 20:52:34 +0100
with message-id <87jzj1df25.fsf@cbaines.net>
and subject line Re: [bug#71310] [PATCH] gnu: make-torbrowser: Use current ffmpeg version.
has caused the debbugs.gnu.org bug report #71310,
regarding [PATCH] gnu: make-torbrowser: Use current ffmpeg version.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
71310: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=71310
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems