Merge fix for the pull dialog for https
authorKirill Likhodedov <Kirill.Likhodedov@jetbrains.com>
Tue, 18 Sep 2012 12:06:41 +0000 (16:06 +0400)
committerKirill Likhodedov <Kirill.Likhodedov@jetbrains.com>
Tue, 18 Sep 2012 12:06:41 +0000 (16:06 +0400)

Trivial merge