Completed
Push — dev ( 98179a...b34ee9 )
by Matteo
103:44 queued 88:45
created

No notable changes

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

9.85
▶   ± 0
Head
Matteo Giachino  
Merge tag '1.0.0' into dev
1 more commit
Base
Matteo Giachino  
php 7.2 only