Completed
Pull Request — master (#415)
by Claus
05:28 queued 02:39
created

Changes

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