gitextensions/gitextensions — pull request #1546 by linquize (2013-01-14 00:27:05+00:00)
Title: Issue1540

fix Push tag list empty