Passed
Push — master ( 37262d...5fae9e )
by Alessandro
06:07
created

Changes

Good job, 4 issues were fixed.
9.53
▶   ± 0
Head
Alessandro Umbrico  
bug fixing
Base
Alessandro Umbrico  
Merge branch 'master' of https://github.com/pstlab/PLATINUm