diff -r 0fecfaa711d2 -r 197d3f3cc2a6 windowing/windowserver/minigui/group/wsini_minigui-stripped.ini
Binary file windowing/windowserver/minigui/group/wsini_minigui-stripped.ini has changed