Upgrade Vagrant for for PHP 7.2 + MongoDB 4 (+multidb)

Description

None

Deployment actions

None

Technical tasks

-

Fixed

Assignee

Unassigned

Client

Integrated Marijn

Sprint

None

Fix versions