Completed
Pull Request — master (#523)
by Jeroen
04:27 queued 01:45
created
8.23
▶   ± 0
Head
Jeroen Thora  
Merge 4dc50970bb6d7b9603aa2ac83de3880c4c314c30 into 9e79f15e43512b4c809a9029a5c0247e7354a277
1 more commit
Base
Christian Gripp  
Merge pull request #528 from core23/travis