Subject: Re: [bug#44681] [PATCH] gnu: gnubg: Prevent building with avx instructions.
From: Kei Kebreau <[email-masked]>
To: Michael Rohleder <[email-masked]>
Cc: [email-masked]
Date: Wed, 18 Nov 2020 09:05:55 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

Michael Rohleder <[email-masked]> writes:

> Hi Kei!
>
> Kei Kebreau <[email-masked]> writes:
>> Please let me know whether you're okay with the commit message
>> modification, and I'll push this for you.
>
> This is perfectly fine!
> Thank you very much for reviewing, testing, rewriting, asking and
> pushing ;)

You're welcome!  This patch has been pushed to master as commit
82df93e27c.