Linux-libre 5.2 has reached end-of-life. Okay to remove?

[Mark H Weaver]

Hello fellow Guix,

I just pushed a batch of kernel updates, but there was no corresponding
5.2 update because that series has reached end-of-life, and is no longer
supported upstream.  That means that it's potentially a security risk.

Are there any objections to removing the linux-libre-*@5.2 packages?

      Thanks,
        Mark