On 2017-10-09 21:49:53 +0000, Timo Aaltonen wrote: > Source: xorg-server > Source-Version: 2:1.19.4-1 > > We believe that the bug you reported is fixed in the latest version of > xorg-server, which is due to be installed in the Debian FTP archive.
I confirm that the bug is fixed: I've run my script before and after the upgrade on two different machines, and on both, the problem was occuring before the upgrade, but no longer after it. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
