Subject: Re: [PATCH] gnu: linux-libre: Update to 5.13.5.

From: Leo Famulari <[email-masked]>
Date: Thu, 29 Jul 2021 02:05:09 -0400

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