Your message dated Sat, 3 Oct 2020 13:03:47 +0200
with message-id <20201003110347.w6ojpcjlui7okfyw@pelzflorian.localdomain>
and subject line Re: bug#43746: What to do about packages that don't support --without-tests / #:tests? #f setting
has caused the debbugs.gnu.org bug report #43746,
regarding What to do about packages that don't support --without-tests / #:tests? #f setting
to be marked as done.

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


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