Completed
Push — 2.5 ( 2d4026...fe38de )
by Han Hui
28s queued 12s
created

No notable changes

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

8.13
▶   ± 0
Head
Teoh Han Hui  
Merge pull request #3287 from teohhanhui/phpstan-shim
1 more commit
Base
Kévin Dunglas  
Update changelog