Completed
Push — master ( e40109...b8d583 )
by Delete
02:58
created

No notable changes

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

9.17
▶   ± 0
Head
Christoph Ziegenberg  
Adjustment for PHP 7.1.x
Base
Christoph Ziegenberg  
Change log updated