Your message dated Sat, 18 Jul 2020 18:16:54 +0200
with message-id <20200718161654.p322j7d74lk3gl4g@gravity>
and subject line Re: [PATCH core-updates] build-system/python: Add a #:python-output argument.
has caused the debbugs.gnu.org bug report #40469,
regarding [PATCH core-updates] build-system/python: Add a #:python-output argument.
to be marked as done.

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


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