Completed
Push — master ( ffe9e8...55c2f8 )
by Andreas
09:59 queued 07:16
created

No notable changes

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

5.92
▶   ± 0
Head
Andreas Gohr  
Merge pull request #3484 from Poorchop/patch-1
1 more commit
Base
Andreas Gohr  
Merge branch 'pr/3318'