Completed
Pull Request — master (#526)
by
unknown
02:30
created

No notable changes

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

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