Passed
Push — master ( 0ec5f0...4622bb )
by
unknown
06:25
created

No notable changes

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

4.82
▶   ± 0
Head
Jan Engelhardt  
build: reuse ${PHP} variable
6 more commits
Base
Jan Engelhardt  
grommunio-web 3.12