Completed
Push — master ( d93f11...86f8d1 )
by Jeroen De
03:37
created
9.94
▶   ± 0
Test Coverage
89%
▶ ±0%
Head
Jeroen De Dauw  
Fix branch alias
6 more commits
Base
Bene  
Merge pull request #105 from wmde/guidSplitter