/srv/irclogs.ubuntu.com/2020/01/18/#ubuntu-mate.txt

svinobaHi, I just realised I'm having 5.0.0 series kernel although I'm running focal devel branch. Normal apt update/upgrade/dist-upgrade is not upgrading the kernel. How can I upgrade kernel?09:56
alkisgsvinoba: for the development ubuntu version, #ubuntu+1 channel is used. That said, you're probably just missing the linux-generic package10:03
svinobaalkisg, thank you for both pointers.10:05
alkisgnp10:05

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!