Completed
Push — develop ( 0a9e6f...1da946 )
by David
03:25
created

Changes

1 issue (minor) was introduced.
4 new patches (Indentation, Spacing) are available.
8.33
▶   ± 0
Head
David Riccitelli  
make the rebuild work in small chunks to avoid hard timeout limits set by web servers
Base
David Riccitelli  
fix merge