Passed
Push — min_php_7.2 ( 68d6f2...bd6bc4 )
by Armando
09:12 queued 11s
created

No notable changes

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

6.45
▶   ± 0
Test Coverage
26%
▶ ±0%
Head
Armando Lüscher  
Merge remote-tracking branch 'upstream/develop' into min_php_7.2
9 more commits
Base
Armando Lüscher  
Various type and coding style fixes