[gnome-continuous] manifest: Add gnome-mines

[Yanko Kaneti <yaneti src gnome org>]

commit ca60d6d8058061b8247ce56d33124edd51a0f26d
Author: Yanko Kaneti <yaneti declera com>
Date:   Wed Aug 12 19:36:02 2015 +0300

    manifest: Add gnome-mines

 manifest.json |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 6f18ed5..644eb06 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1298,6 +1298,8 @@
 
                {"src": "gnome:gnome-mahjongg"},
 
+               {"src": "gnome:gnome-mines"},
+
                {"src": "gnome:gnome-multi-writer"},
 
                {"src": "gnome:gnome-music"},