gitextensions/gitextensions — pull request #1731 by poiru (2013-03-20 07:25:41+00:00)
Title: Cosmetic tweaks

These commits fix a few inconsistencies and are merely cosmetic.