Completed
Push — master ( 6413b9...b3210a )
by Wim
03:34 queued 01:29
created

No notable changes

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

7.81
▶   ± 0
Head
Wim Godden  
Merge pull request #499 from wimg/php72/object-as-typehint
1 more commit
Base
Wim Godden  
Merge pull request #500 from wimg/php72/deprecated-ini-directives