Completed
Push — master ( f3b771...0ccf1f )
by Andreas
05:53 queued 03:06
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