From 8322a30ba8902e69baabc814170c8d221c280965 Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 29 Nov 2012 13:11:07 -0800
Subject: [PATCH] Meta/ML: show the name of the topic even if it has advanced
 since merged

---
 ML | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ML b/ML
index b4f56ab00a..f8376cd2af 100755
--- a/ML
+++ b/ML
@@ -29,7 +29,7 @@ search_topics () {
 		elif tip=$(git rev-parse --verify "refs/heads/$topic") &&
 		     test "$tip" != "$full_sha1"
 		then
-			echo >&2 "$tip moved from $sha1"
+			echo >&2 "$topic # $tip moved from $sha1"
 			continue
 		fi
 
-- 
2.47.3