Subject: Re: [PATCH] gnu: linux-libre: Update to 5.13.5.
From: Leo Famulari <[email-masked]>
To: [email-masked]
Date: Thu, 29 Jul 2021 02:05:09 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

I "updated this patch" to use linux-libre 5.13.6 and pushed as
4f108e4e5c8b01de43450a2f3dd9bc03bd6d32a9.