Completed
Push — master ( 4ccb8c...bfc666 )
by Jáchym
12s
created

No notable changes

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

7.51
▶   ± 0
Head
Jáchym Toušek  
Merge pull request #145 from Kdyby/feature/php-7.2
2 more commits
Base
Jáchym Toušek  
Update PHPStan