Passed
Push — min_php_7.2 ( 4deed9...0b3dc8 )
by Armando
19:06 queued 09:06
created

No notable changes

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

6.45
▶   ± 0
Head
Armando Lüscher  
with sudo
Base
Armando Lüscher  
Move to PHP 7.2+, fix up all strict variable and parameter types