mitchellh/vagrant — pull request #2384 by nmische (2013-10-17 16:59:14+00:00)
Title: Fixing so localhost hosts file entry is not lost when updating hostname....

... Addresses Issue #2383.