Completed
Pull Request — master (#523)
by Jeroen
05:40
created
8.23
▶   ± 0
Head
Jeroen Thora  
Merge 6b63010e2f55a6c49aa6a978fd1a0080fa6813cb into 9e79f15e43512b4c809a9029a5c0247e7354a277
1 more commit
Base
Christian Gripp  
Merge pull request #528 from core23/travis