With 4.9.0-6-amd64 #1 SMP Debian 4.9.88-1+deb9u1 (2018-05-07), the problem 
disappeared from
two different laptops that where affected.

Seems like it is fixed.

-- 
Matthieu Dubuget

Reply via email to