[GNOME] gnome-mag - HEAD