diff -r 000000000000 -r 5d03bc08d59c windowing/windowserver/group/wsini_pointershift_wins.ini
Binary file windowing/windowserver/group/wsini_pointershift_wins.ini has changed