Completed
Push — master ( 945d70...62360e )
by
unknown
03:20
created

No notable changes

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

8.96
▶   ± 0
Head
Christian Gripp  
Fixed wrong phpdoc of #1086 (#1120)
Base
Grégoire Paris  
Applied fixes from StyleCI (#1118)