Completed
Push — housekeeping_git_meta_and_test... ( 12a870 )
by Armando
03:12
created

No notable changes

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

6.76
▶   ± 0
Test Coverage
27%
▶ ±0%
Head
Armando Lüscher  
Update git metafiles, simpler coverage for PHP 7.3
2 more commits
Base
Armando Lüscher  
Merge branch 'master' into develop