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