#4821 Small adjustments to the vagrant-based development environment
Merged by pingou. Opened by pingou.
adjust_vagrant  into  master

Download 4821.patch
no initial comment

rebased onto 952688c936c9567e0b3d0f5299cdf9b99daebc94

:thumbsup:

Pull-Request has been merged by pingou

Metadata