[GNOME] [DL] gnome-mines - master