Subject: RE: [PATCH] gnu: linux-libre: Update to 6.0.7.

From: Leo Famulari <[email-masked]>
Date: Fri, 11 Nov 2022 17:08:08 -0500

This update was pushed as fe69a2b77da8dffef4e7e50e6729b750066ca8a1 and
5.19 was removed as c52cdd18d6f8dddd69dfb1f8b5214a0db6ebb562.