Completed
Push — master ( 857f1c...4bcbab )
by Rubén
15s queued 12s
created

No notable changes

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

8.01
▶   ± 0
Head
RubénD  
Merge pull request #1050 from stefanjauker/patch-1
1 more commit
Base
RubénD  
Merge pull request #1020 from deajan/patch-1