Completed
Push — development ( 89a201...bf0a49 )
by Thomas
04:55
created

Changes

Unfortunately, the changeset was too large and we could not compute changes, but only the current state.

What's next?

8.15
▶   ± 0
Commit
Thomas Eiling –
Merge pull request #754 from nlubisch/feature/increase-code-to-php7.2