Comment 7 for bug 1715271

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.