Completed
Push — master ( 6d5aa5...8e51f8 )
by Andreas
08:23 queued 05:13
created

No notable changes

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

5.77
▶   ± 0
Head
Andreas Gohr  
Merge pull request #3173 from fiwswe/patch-1
1 more commit
Base
Andreas Gohr  
Merge pull request #3192 from SoarinFerret/patch-1