Kernel 4.20 and kmp-default packages

[Xilanaz]

hi,

just a simple question in case I did something wrong.
Got a few packages which build against Leap and Tumbleweed.
Tumbleweed is now on kernel 4.20, normally the Tumbleweed version of the kmp-default packages follow the Tumbleweed kernel but at the moment (build today) they show: k4.19.12_1-1.1.x86_64.rpm
They install okay though, so just asking to be sure.

thank you

[tsu2]

Generally speaking, there are both generic kernel header packages and packages which specify the kernel version in the name.

Not in the OBS, but when I build on my own machine,
To be safe, you should install both by specific installation and not rely on automation to update.
Some builds make a diff, others not.

TSU