Completed
Push — master ( f5af71...2d0974 )
by Karsten
10:41 queued 09:41
created

No notable changes

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

9.62
▶   ± 0
Head
Karsten Hoffmeyer  
Revert "update to php 7.2 (#34)" (#37)
Base
Peter Grassberger  
update to php 7.2 (#34)