To be honest I don't know. I'm on Arch Linux, and found that when upgrading to 4.12.10 the middle mouse button on my Lenovo ThinkPad X1 Carbon Gen5 stopped working. I looked into [the changelog](https://cdn.kernel.org/pub/linux/kernel/v4.x/ChangeLog-4.12.10) and found your patch which I naively assumed to be the cause of my newfound issue.
I'm currently on 4.12.10-1-ARCH, but I don't know from the top of my head to double check exactly what's included there. If you can't tell from only the version number, please let me know and I'll have to figure that out some time next week. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1715271 Title: Middle button of trackpoint doesn't work To manage notifications about this bug go to: https://bugs.launchpad.net/hwe-next/+bug/1715271/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs