Your message dated Tue, 10 Nov 2020 15:17:52 -0500
with message-id <878sb9ge4v.fsf@gmail.com>
and subject line Re: bug#41780: UEFI bios not supported out of the box when burning to usb stick
has caused the debbugs.gnu.org bug report #41780,
regarding UEFI bios not supported out of the box when burning to usb stick
to be marked as done.

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


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