Hello. In the context of kernel patching, the Debian Administrator's Handbook mentions linux-patch-* packages. I have never heard of packages like that, and no such packages appear to exist in any current Debian release.
Is the information in the Handbook obsolete? The section in question is here: https://www.debian.org/doc//manuals/debian-handbook/sect.kernel-compilation.en.html#sect.kernel-patch Please CC me when replying. Thank you. Regards, Samuel Plavec
