Completed
Pull Request — master (#533)
by
unknown
05:34
created

No notable changes

There were no notable changes in the changeset which was inspected.

8.23
▶   ± 0
Head
Olivier  
Merge 0ca994388d0d1f5ae278bc0ed8bfec78d01daab8 into 9e79f15e43512b4c809a9029a5c0247e7354a277
2 more commits
Base
Christian Gripp  
Merge pull request #528 from core23/travis