From cbfc93db75f9c110b7e4a33f52c7fe41c0d15f11 Mon Sep 17 00:00:00 2001
From: jkratoch <>
Date: Fri, 9 Jul 2010 08:08:29 +0000
Subject: [PATCH] +gdb_7_2-branch

---
 bin/master-UPDATE | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/master-UPDATE b/bin/master-UPDATE
index 220df3d..4accf89 100755
--- a/bin/master-UPDATE
+++ b/bin/master-UPDATE
@@ -1,7 +1,7 @@
 #! /bin/bash
 set -ex
 git fetch gdb
-for i in master;do	# gdb_7_1-branch
+for i in master gdb_7_2-branch;do	# gdb_7_1-branch
 	git checkout $i
 	[ "`git status|head -n1`" = "# On branch $i" ]
 	git pull origin
-- 
1.8.3.1