delphian/vagrant — pull request #1 by jpotts (2013-11-20 03:42:48+00:00)
Title: Update Vagrantfile

In my setup (Vagrant 1.3.5), the use of "extra" instead of "mount_options" causes a problem.