Passed
Pull Request — master (#378)
by
unknown
25:06
created
9.84
▶   ± 0
Head
Jeroen de Jong  
Merge 9dd880a878ea088bfcb523f5dc3fcc07d4727c3d into 0fc82a15666ee03e8b44509e44deec884649ff39
2 more commits
Base
Christoph Wurst  
Fix building