Passed
Push — master ( 8eb077...db15bd )
by
unknown
13:17
created

No notable changes

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

3.12
▶   ± 0
Head
Jan Engelhardt  
mapi-header-php 1.4
Base
Mike Williams  
Merge branch 'gweb254' into 'master'