Completed
Push — master ( 01e7b6...dff160 )
by Thomas
19:15 queued 15:25
created

No notable changes

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

9.05
▶   ± 0
Head
Thomas  
Merge pull request #932 from greg0ire/fix_broken_build
1 more commit
Base
Christian Gripp  
Merge pull request #927 from core23/fixed-build