Completed
Pull Request — master (#1867)
by
unknown
10:13
created

No notable changes

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

9.49
▶   ± 0
Head
François-Xavier de Guillebon  
Merge 52b88ce44fe50943304e69087f78df77b06af31f into ebde220317b77582d51d8bb1f1b21c23858a7dbd
1 more commit
Base
François-Xavier de Guillebon  
Update ubuntu version in travis (#1865)