Subject: Re: [PATCH v2 0/4] gnu: gmnisrv: Fix configure flags.
From: Arun Isaac <[email-masked]>
To: Sarah Morgensen <[email-masked]>, [email-masked]
Date: Tue, 27 Jul 2021 02:48:30 +0530
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Sarah,

> Same as before, but with s/gcc/(cc-for-target)/, and split apart.

Thank you! Pushed with only minor cosmetic changes.

> (and the copyright line; how do I still forget?)

I forget sometimes too. We really need a patch linter to check for this.

Regards,
Arun