> From: Bostjan Vilfan <bjvil...@gmail.com> > Date: Sun, 11 Aug 2019 19:45:26 +0200 > > Just in case somebody else encounters the same problem, I will report the > solution that worked for me: > simply turn off trackpoint and trackpad in the BIOS
You sent this only to me, so I resent with the list in CC.
