gitextensions/gitextensions — pull request #1405 by feinstaub (2012-11-05 18:31:08+00:00)
Title: Small Improvements for #1400

#1400