Completed
Push — develop ( 79cb00...c568fe )
by Tom
03:48
created

No notable changes

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

8.04
▶   ± 0
Head
Tom Klingenberg  
Polish
Base
Tom Klingenberg  
Fix incompatibilities with PHP 7.1, closes #881