Completed
Pull Request — master (#312)
by Claus
02:02
created

No notable changes

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

8.33
▶   ± 0
Head
Daniel Ruf  
Merge d3c674d1769acd98c16d9cecf5683272e4dd3a1a into 920d72d4bc938fcc1635d051d766c08b71c3f29f
1 more commit
Base
Daniel Ruf  
[TASK] Use the Trusty build environment on Travis (#314)