Completed
Push — master ( 89e78d...7c92aa )
by
unknown
55s queued 20s
created
8.83
▶   ± 0
Head
Jeroen De Dauw  
Merge e56c46585be00c038bc95da9844a9d6933241cda into 89e78d4851259b76b05b3738f5225c9c73890d1e
3 more commits
Base
Jeroen De Dauw  
Merge pull request #54 from wmde/factory-fix