Completed
Push — feature/move-to-php72 ( 6d8949...6f854d )
by
unknown
01:55
created

Changes

Good job, 6 issues were fixed.
9.68
▶   ± 0
Head
Martin Roest  
Move to PHP7.2
Base
Martin Roest  
Move to PHP7.2