Summary of changes: e9c710b... Update gogui version 1.4.7 (*) 4a9f9db... Remove patch0 which is now fixed (*) a356a47... Fix path for gogui.png (*) 163fb56... Fix path for gogui.desktop (*) 4f0bd46... Merge 1.4.7 changes (*) (*) This commit already existed in another branch; no separate mail sent