Your message dated Tue, 12 Jul 2022 10:13:28 -0400
with message-id <875yk28lmf.fsf@gmail.com>
and subject line Re: bug#51547: Erase / on boot
has caused the debbugs.gnu.org bug report #51547,
regarding Erase / on boot
to be marked as done.

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


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