gitextensions/gitextensions — pull request #2029 by emanuelhp (2013-09-26 17:05:54+00:00)
Title: Better integration putty in Clone and Push

Correction of https://github.com/gitextensions/gitextensions/issues/1954