Completed
Push — develop ( 44b932...9593c1 )
by David
05:41 queued 10s
created

Changes

10 new patches (Indentation, Spacing) are available.
8.8
▶   ± 0
Head
David Riccitelli  
fix merge
22 more commits
Base
David Riccitelli  
merge master