deis/deis — pull request #1881 by mboersma (2014-09-20 05:07:59+00:00)
Title: ref(Vagrantfile): align with upstream coreos-vagrant

See "deis" fork at https://github.com/deis/coreos-vagrant and our diff with upstream at https://github.com/deis/coreos-vagrant/compare/coreos:master...deis