Completed
Pull Request — master (#533)
by
unknown
07:48
created

No notable changes

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

8.23
▶   ± 0
Head
Olivier  
Merge aaec02fe762a491f0bcd8d1ed30e135644e9e44a into 9e79f15e43512b4c809a9029a5c0247e7354a277
1 more commit
Base
Christian Gripp  
Merge pull request #528 from core23/travis