Linux Mint Devs Change the Way Linux Kernels Are Tracked 9to5Linux