mitchellh/vagrant — pull request #1176 by paulv (2012-10-09 02:16:54+00:00)
Title: Fix for DNS resolution bug on Ubuntu 12.10

Ubuntu 12.10 uses 127.0.1.1 instead of 127.0.0.1 for DNS resolution, so I added 127.0.1.1 to the fix for Ubuntu 12.04.