gnome-robots 3.7.2
====================

First release split from gnome-games
