Ah, it turned out the menu option was updated when in-game. The fix was simple, and will be available in the 2.1.3 release.
_______________________________________________ Pkg-games-devel mailing list Pkg-games-devel@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-games-devel
