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