Completed
Push — develop ( 8a4a9e...ccad4a )
by Wim
01:58 queued 12s
created

No notable changes

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

7.23
▶   ± 0
Head
Wim Godden  
Merge pull request #1048 from PHPCompatibility/feature/1023-new-extension-phpdg
1 more commit
Base
Wim Godden  
Merge pull request #1029 from PHPCompatibility/php-7.0/new-newassertcustomexception-sniff