Passed
Push — feature/Wsystem-headers ( 3038ff...e0d258 )
by srz
153:17 queued 107:34
created

No notable changes

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

4.89
▶   ± 0
Head
srz_zumix  
Update GNUmakefile
Base
srz_zumix  
Merge remote-tracking branch 'origin/develop' into feature/Wsystem-headers