Completed
Pull Request — master (#738)
by Thomas
366:49 queued 301:45
created

Changes

1 issue (informational) was introduced.
1 issue was fixed.
8.38
▶   ± 0
Head
Thomas Müller  
Merge 09b8f06cfd764b0bbe73df7beb327d5132b88040 into 2245943a0426e125c285e03b71e00edb87581952
7 more commits
Base
Thomas Müller  
Add php 7.2