Completed
Push — develop ( 86829a...3d0776 )
by Fabian
17:23 queued 13:41
created

No notable changes

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

9.76
▶   ± 0
Head
Fabian Grutschus  
Fix CI build
Base
Fabian Grutschus  
Update build system