Passed
Push — develop ( 012fbe...7a79ec )
by Jens
04:15 queued 02:05
created

No notable changes

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

9.58
▶   ± 0
Head
Jens Kooij  
Merge branch 'master' into develop
12 more commits
Base
Jens Kooij  
Minor fix in PHPDoc