Your message dated Sat, 12 Jun 2021 20:15:12 +0000
with message-id <9900e25c421bfe7f657c39c99003fc47@dismail.de>
and subject line Re: bug#48973: An early booting warning message
has caused the debbugs.gnu.org bug report #48973,
regarding An early booting warning message
to be marked as done.

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


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