Completed
Pull Request — master (#53)
by no
06:33 queued 04:17
created
9.33
▶   ± 0
Head
Thiemo Mättig  
Merge 87f3d6968e45c7fcb60af3c0055bce0a1c515785 into ef6b355d017a0aa67ff6445feb77e7a97eaed526
1 more commit
Base
Jeroen De Dauw  
Upload coverage to ScrutinizerCI (#71)