Re: [PATCH] user32: Properly handle WM_DEVICECHANGE in is_pointer_message(). (resend)