Subject: linux-libre 5.17 update
From: Leo Famulari <[email-masked]>
To: [email-masked]
Date: Thu, 21 Apr 2022 00:19:45 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

This patch series removes the end-of-life 5.16 series and upgrades the
default 'linux-libre' package to 5.17.

Should this kind of update be mentioned in the news?