Completed
Push — develop ( 36eaa3...c97ea2 )
by David
09:39 queued 05:56
created

Changes

16 new patches (Indentation, Spacing) are available.
8.79
▶   ± 0
Head
David Riccitelli  
fix merge #757
2 more commits
Base
David Riccitelli  
see #760: final CR