I think this commit fixes the bug:
http://git.gnome.org/browse/gnome-games/commit/?id=98b73ad020ba6e61f0a9243a938792cd94c337ed
I think this commit fixes the bug:
http:// git.gnome. org/browse/ gnome-games/ commit/ ?id=98b73ad020b a6e61f0a9243a93 8792cd94c337ed