Completed
Pull Request — master (#1996)
by Ema
33s
created

No notable changes

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

???
Head
Emanuele Panzeri  
Merge 0c01c32dfea65b8f39d2792a762c8c3f9518d8ca into 0e2cabd230d0708735636b3d78657f84351a07d0
1 more commit
Base
Emanuele Panzeri  
Remove duplicated pipeline for php v7.2 (#1993)