Passed
Push — master ( db15bd...54fda1 )
by
unknown
13:36 queued 21s
created

No notable changes

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

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