Completed
Push — master ( 2c1559...dd108d )
by Marco
13:03
created

Changes

Good job, 3 issues were fixed.
4 new patches (Doc Comments, Spacing) are available.
6.98
▶   ± 0
Head
marcogiovinazzi  
writing docs
2 more commits
Base
marcogiovinazzi  
manual merge 3.1 changes