gitextensions/gitextensions — pull request #1851 by feinstaub (2013-05-19 17:02:00+00:00)
Title: minor GUI fixes

see screenshots