Completed
Pull Request — master (#415)
by Claus
04:58
created

Changes

8
▶   ± 0
Head
Claus Due  
Merge 141b1e989e71d0daa1db5602ab8b0246e09c21ac into e450fb4596b751af31bbc6f79e22b94a0222f293
1 more commit
Base
Anja  
[TASK] Update Travis-CI badge (#410)