Your message dated Sat, 22 Aug 2020 14:23:21 -0400
with message-id <20200822182321.GB18524@jasmine.lan>
and subject line Re: [bug#42689] [PATCH] gnu: Add sbcl-livesupport
has caused the debbugs.gnu.org bug report #42689,
regarding add sbcl-cl-livesupport
to be marked as done.

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


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