diff -r 7652d902218f -r 969102054596 windowing/windowserver/group/wsini_pointershift_wins.ini
Binary file windowing/windowserver/group/wsini_pointershift_wins.ini has changed