XPost: linux.debian.bugs.dist

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 <vincent@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)

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)