Your message dated Tue, 13 Oct 2020 00:10:23 -0400
with message-id <87eem27ols.fsf@gmail.com>
and subject line Re: bug#37867: bug on x86_64-linux AMD box
has caused the debbugs.gnu.org bug report #37867,
regarding bug on x86_64-linux AMD box
to be marked as done.

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


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