diff -r c03ff11acab3 -r 3d4cd7236b5f windowing/windowserver/minigui/group/minigui-stripped.oby --- a/windowing/windowserver/minigui/group/minigui-stripped.oby Thu Sep 09 18:17:30 2010 +0100 +++ b/windowing/windowserver/minigui/group/minigui-stripped.oby Wed Sep 15 14:44:10 2010 +0100 @@ -72,6 +72,7 @@ #include #include #include +#include #include #include