Completed
Push — master ( 83e406...79dd65 )
by Wim
07:17 queued 05:21
created

No notable changes

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

7.15
▶   ± 0
Head
Wim Godden  
Merge pull request #644 from wimg/feature/newscalartypedeclarations-minor-message-adjustment
1 more commit
Base
Wim Godden  
Merge pull request #640 from wimg/php-7.3/is_countable