mitchellh/vagrant — pull request #2059 by mlex (2013-08-16 10:19:10+00:00)
Title: allow port-forwarding of the same port number but with different protocols [GH-1108]

The (already closed) issue 1108 has reappeard in vagrant 1.2.7. With this fix, using the same host port for different protocol is possible again.