Subject: Re: [bug#70916] [PATCH] gnu: Add linux-libre 6.9.
From: Leo Famulari <[email-masked]>
To: Wilko Meyer <[email-masked]>
Cc: Dariqq <[email-masked]>, [email-masked]
Date: Sun, 26 May 2024 15:05:02 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

On Thu, May 23, 2024 at 11:27:45PM +0200, Wilko Meyer wrote:
> 
> Thanks to the two of you for taking care of this, haven't had time the
> last couple of days to look into it myself!

Pushed as cc728a393e4521beccd042614613616b3849bd3e

Thanks to Wilko and Dariqq for pitching in. A team effort!