Completed
Push — master ( bae9e2...e8baa3 )
by Andreas
08:27 queued 05:36
created

No notable changes

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

5.87
▶   ± 0
Head
Andreas Gohr  
Merge pull request #3307 from Rainbow-Spike/patch-3
1 more commit
Base
Andreas Gohr  
Merge pull request #3343 from splitbrain/bug3271