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.
