Completed
Push — master ( f62d97...7b4917 )
by
unknown
10:08
created

No notable changes

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

9.36
▶   ± 0
Head
Lucas Werkmeister  
Update Coveralls URLs
Base
jenkins-bot  
Merge "Improve type hints in CrossCheckerTest and remove redundant PHPDoc"