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