13c4aa1a3b
Touch events with id SDL_TOUCH_MOUSEID are ignored anyway, but it is better not to generate them in the first place.