On 24/10/2019 11:35, Herbert Poetzl wrote: > > I uploaded the 4.9.197 patch a few minutes ago. > > Best, > Herbert OK, there'll be new kernels in the repository in a few hours then. -- Cheers, Ben Green