Completed
Push — PHP72stable10 ( f66df5 )
by
unknown
06:39
created

No notable changes

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

10
▶   ± 0
Head
davitol  
add PHP7.2 to stable10 branch
Base
Vincent Petry  
Merge pull request #157 from owncloud/DeepDiver1975-patch-1