mitchellh/vagrant — pull request #3880 by cielavenir (2014-05-22 08:02:28+00:00)
Title: favorite SSH client is not limited to PuTTY

https://github.com/mitchellh/vagrant/pull/3877

Followed the guide to make a separate branch.