The information I added today is rather relativised by the fact that today I am unable to reproduce the problem with the Ubuntu 4.15 kernels either. I will update this when (if?) it happens again.
The information I added today is rather relativised by the fact that today I am unable to reproduce the problem with the Ubuntu 4.15 kernels either. I will update this when (if?) it happens again.