Comment 18 for bug 1588009

I'm affected by this as well. I can't really interact with my system anymore because input and scrolling is interrupted every few seconds. /var/log/syslog keeps filling up with messages like:

> libinput error: client bug: timer event7 tap: offset negative (-495ms)

htop reports gnome-shell using 100% CPU very often as well. I'm using a Thinkpad X1 Carbon 2018 with
- gnome-shell 3.30.2-0ubuntu1.18.10.1
- libinput-bin 1.12.1-1
- mutter 3.30.2-1~ubuntu18.10.4