For reference, Alfredo's issue has moved to https://gitlab.freedesktop.org/libinput/libinput/issues/276
For reference, Alfredo's issue has moved to https:/ /gitlab. freedesktop. org/libinput/ libinput/ issues/ 276