[PRQ#43330] Deletion Request for mutter-choppy-mouse-fix Accepted