Sadly I currently have no access to the system, it was my friend's laptop.
I think it is not yet merged since he said after a kernel update two days ago (proposed by the Software Updater), the touchpad stopped working and he had to install the manually built kernel again using dpkg.
Thank you too for following up the reports here.
Sadly I currently have no access to the system, it was my friend's laptop.
I think it is not yet merged since he said after a kernel update two days ago (proposed by the Software Updater), the touchpad stopped working and he had to install the manually built kernel again using dpkg.