=== cpaelzer__ is now known as cpaelzer === halvors1 is now known as halvors === ddstreet_away is now known as ddstreet [23:30] 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] reference: https://kernel.ubuntu.com/~kernel-ppa/mainline/v5.8-rc5/ [23:32] On the .deb files