Completed
Push — master ( b2fc0b...f5af71 )
by Karsten
02:11
created

No notable changes

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

9.62
▶   ± 0
Head
Peter Grassberger  
update to php 7.2 (#34)
Base
Peter Grassberger  
Merge pull request #35 from krabina/patch-3