diff -r 314cdf966406 -r b042127c80f6 windowing/windowserver/group/wsini_pointershift.ini
Binary file windowing/windowserver/group/wsini_pointershift.ini has changed