This problem has now reapeared and the tapping is relabed in the gnome-mouse-prefrences as "Enable mouse clicks with touchpad"
This problem has now reapeared and the tapping is relabed in the gnome-mouse- prefrences as "Enable mouse clicks with touchpad"