Subject: Re: [bug#70916] [PATCH] gnu: Add linux-libre 6.9.

From: Leo Famulari <[email-masked]>
Date: Sun, 26 May 2024 15:05:02 -0400

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!