Completed
Push — master ( d34abb...755793 )
by Juan José
15s queued 11s
created

Changes

Good job, 1 issue was fixed.
5.12
▶   ± 0
Head
Juan José Nicola  
Merge pull request #100 from jjnicola/minor-fixes
3 more commits
Base
Björn Ricks  
Merge pull request #99 from bjoernricks/adjust-to-ospd-server