Completed
Push — master ( b8d583...df3dfe )
by Delete
03:29
created

No notable changes

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

9.17
▶   ± 0
Head
Christoph Ziegenberg  
Adjusted the documentation
Base
Christoph Ziegenberg  
Adjustment for PHP 7.1.x