Completed
Push — develop ( 15fbab...36db91 )
by Christian
02:19
created

No notable changes

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

7.98
▶   ± 0
Head
Christian Münch  
Change PHP version to 7.3
Base
Francesco Boes  
Update for new standard phpstorm.meta used by the JetBrains/phpstorm-stubs library (#1141)