Completed
Push — development ( bf0a49...061f94 )
by Thomas
04:58
created

No notable changes

There were no notable changes in the changeset which was inspected.

8.15
▶   ± 0
Head
Thomas Eiling  
upgrade vagrant to php 7.2
1 more commit
Base
Nick Lubisch  
Merge 08e38b84b7fbdb22843dab5cfbb8082cc001de40 into 89a20171aedfa5576e13cd013f82566e235c573e