Bug#830523: Easy workaround found

[Shai Berger <shai@platonix.com>]

Hello,

I was able to find an easy workaround for this problem:

0) Make sure xserver-xorg-input-evdev (or some other input driver to handle 
the keyboard and mouse) is installed. If your system is not brand-new, they 
are probably installed anyway

1) Disable the configuration that causes libinput to be used:

	sudo mv /usr/share/X11/xorg.conf.d/40-libinput.conf{,.disabled}

2) Restart X

Maintainers: Do you know if this has been reported upstream? Conversely, do 
you know of a reason to suspect that this is a Debian-only problem?

Thanks for your good work,

	Shai.