Completed
Push — develop ( 430509...861247 )
by Tom
05:19 queued 01:23
created

No notable changes

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

8.9
▶   ± 0
Head
Tom Klingenberg  
Update version of development branch
2 more commits
Base
Tom Klingenberg  
Make old-style build system working again