mitchellh/vagrant — pull request #4113 by dhoppe (2014-06-27 09:23:02+00:00)
Title: Fix value for manifest_file

This value should match the default, mentioned at the Vagrant Documentation. Otherwise, new users could be confused.