From 7e98066e72b87fb25eefc66963b5bf08f491163d Mon Sep 17 00:00:00 2001
From: jkratoch <>
Date: Sun, 27 Jun 2010 19:16:41 +0000
Subject: [PATCH] Remove gdb_7_1-branch.

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

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