Completed
Push — master ( 7c92aa...c1e3b2 )
by
unknown
03:44 queued 39s
created
8.83
▶   ± 0
Head
Gabriel Birke  
Merge pull request #56 from wmde/corrdoc
5 more commits
Base
Jeroen De Dauw  
Merge pull request #54 from wmde/factory-fix