Subject: Re: bug#47693: [PATCH]: Use 'cc-for-target'.
From: Mathieu Othacehe <[email-masked]>
To: Maxime Devos <[email-masked]>
Cc: [email-masked], Tobias Geerinckx-Rice <[email-masked]>
Date: Thu, 08 Jul 2021 16:34:37 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hey,

It appears that this has been pushed, so closing.

Thanks,

Mathieu