Thanks to the marvellous help from Paolo Borelli, Thomas Thurman
and Thomas Andersen, all 15 games in the gnome-games package have now
been converted to GOption. This was Thomas Andersen’s first ever patch
and he did a fine job.
A quick tip for everyone else porting to GOption: now is a very
good time to check that all those command-line options still
work. Bit-rot sets in quickly.