Completed
Pull Request — master (#139)
by Jeroen De
05:05 queued 03:09
created
9.7
▶   ± 0
Test Coverage
85%
▶ ±0%
Head
Jeroen De Dauw  
Merge f08eb388b1138f7f7310dd786f849014fb25f480 into dd1ef616ac5e2a6f7603e631e657752d4a11b345
8 more commits
Base
Jakob Warkotsch  
Merge pull request #137 from lucaswerkmeister/T173026