Completed
Push — master ( c86980...42fae1 )
by Guibert
13s queued 10s
created

No notable changes

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

9.63
▶   ± 0
Head
Jerome Guibert  
Merge pull request #18 from geronimo-iia/develop
11 more commits
Base
Jerome Guibert  
Merge pull request #19 from oliverguhr/patch-1