Completed
Push — develop ( 95b0c1...683d61 )
by Tom
04:44
created

No notable changes

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

8.57
▶   ± 0
Head
Tom Klingenberg  
Merge pull request #195 from federivo/develop
1 more commit
Base
Tom Klingenberg  
Make build script exit early