gitextensions/gitextensions — pull request #1517 by diegoaossas (2013-01-05 03:44:21+00:00)
Title: Fix UI

Fix some UI