diff -r 5fabdb30d001 -r f9816ed9a757 windowing/windowserver/minigui/group/wsini_minigui-stripped.ini
Binary file windowing/windowserver/minigui/group/wsini_minigui-stripped.ini has changed