Your message dated Mon, 13 Jul 2020 16:52:02 +0200
with message-id <875zaro4bx.fsf@gnu.org>
and subject line Re: bug#42327: Offload build to Childhurd selects linux-libre-headers
has caused the debbugs.gnu.org bug report #42327,
regarding '%current-system' value influences 'bag-transitive-inputs'
to be marked as done.

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


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