mitchellh/vagrant — pull request #2950 by elyast (2014-02-10 00:29:23+00:00)
Title: Fixing ssh_config, proxy_command is not included

Recently added proxy_command option to ssh works great, however there is one small bug, when using ssh_config command, it is ignoring this set and therefore ssh config is incorrect