From 2b0a2ab3bc850f8217d3b30affdcaa7f9a3b9d07 Mon Sep 17 00:00:00 2001 From: Carlos Soriano Date: Sat, 18 Jan 2014 19:33:49 +0100 Subject: [PATCH] build tools: Update to 3.12 --- tools/build/jhbuildrc-gnome-shell | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/build/jhbuildrc-gnome-shell b/tools/build/jhbuildrc-gnome-shell index a728f6712..c4598f86a 100644 --- a/tools/build/jhbuildrc-gnome-shell +++ b/tools/build/jhbuildrc-gnome-shell @@ -18,7 +18,7 @@ # Only rebuild modules that have changed build_policy = 'updated' -moduleset = 'gnome-apps-3.10' +moduleset = 'gnome-apps-3.12' modules = [ 'meta-gnome-core-shell' ]