Completed
Push — develop ( 08039b...514262 )
by David
03:41
created

Changes

Good job, 5 issues were fixed.
3 new patches (Indentation, Spacing) are available.
9.23
▶   ± 0
Head
David Riccitelli  
fix merge
3 more commits
Base
David Riccitelli  
bump to 3.20.0-dev4; rebuild scripts.