Comment # 4 on bug 1150592 from Markus Zimmermann

Thank you for your additions. I am looking forward to your Vagrant PR getting
merged. As I wrote, we already switch all projects to NFSv4 because of the NFS
service change. Works perfectly.

Should we mark this issue as "resolved" or should we wait on the Vagrant
changes?