Completed
Push — develop ( 6e3227...fc4f0e )
by David
04:05 queued 01:54
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.23
▶   ± 0
Head
David Riccitelli  
Merge branch 'master' into develop
4 more commits
Base
David Riccitelli  
Merge branch 'master' into develop