Completed
Push — feature/move-to-php72 ( 6f854d...6ff7ed )
by
unknown
02:21
created

No notable changes

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

9.68
▶   ± 0
Head
Martin Roest  
Move to PHP7.2
4 more commits
Base
Martin Roest  
Move to PHP7.2