edx/configuration — pull request #547 by wedaly (2013-12-15 16:31:47+00:00)
Title: Fix DNS issue on Ubuntu 12.10

Fixes an issue in which DNS would not work on Ubuntu 12.10.
http://askubuntu.com/questions/238040/how-do-i-fix-name-service-for-vagrant-client

@dianakhuang @jarv