mitchellh/vagrant — pull request #1163 by michaelthies (2012-09-28 17:29:54+00:00)
Title: Change hostname check

It should be allowable to set the hostname to be a substring of the box name.