[23:30] <dsmythies> Any chance the Ubuntu mainline PPA kernel naming can be fixed? See also 2 weeks ago: https://irclogs.ubuntu.com/2020/06/29/%23ubuntu-kernel.html . For some reason the -rc designations have been dropped. They are important, so we can go backwards to help isolate issues.
[23:30] <dsmythies> reference: https://kernel.ubuntu.com/~kernel-ppa/mainline/v5.8-rc5/
[23:32] <dsmythies> On the .deb files