FYI, gnome-games 2.14.0 fixes this bug (with the same patch that i sent).
Since we're uploading GNOME 2.14 into Debian sid, i think you can close this bug after upload gnome-games 2.14.0-1. Thanks, Gustavo Franco - <[EMAIL PROTECTED]> -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
