Completed
Push — elements-php7 ( 39d551...051c1e )
by Jeroen De
08:00 queued 06:10
created

No notable changes

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

9.06
▶   ± 0
Head
Jeroen De Dauw  
Use PHP features in Elements/
Base
Jeroen De Dauw  
Use PHP features in Elements/