Completed
Push — develop ( 084649...c9fe7e )
by David
03:58 queued 49s
created

Changes

3 new patches (Indentation, Spacing) are available.
9.29
▶   ± 0
Head
David Riccitelli  
merge master back into release branch.
3 more commits
Base
naveen  
see #973: merging the release branch with local