Completed
Push — setPHP72AsDefault ( 821eb8...3d6b6e )
by Andreas
03:32
created

No notable changes

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

9.24
▶   ± 0
Head
Andreas Heigl  
Adapt the phpunit.xml to new folder-layout
Base
Andreas Heigl  
Set PHP 7.2 as default version