Completed
Push — master ( f3b771...0ccf1f )
by Andreas
03:03 queued 10s
created

No notable changes

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

5.78
▶   ± 0
Head
Andreas Gohr  
Merge pull request #3253 from splitbrain/issue3250
1 more commit
Base
Andreas Gohr  
Merge pull request #3256 from longyn/patch-1