Completed
Push — master ( f34591...e94938 )
by Asmir
15s queued 12s
created

Changes

17 new patches (Spacing) are available.
6.12
▶   ± 0
Test Coverage
81%
▶ ±0%
Head
Asmir Mustafic  
Merge pull request #927 from Majkl578/short-arrays,static-asserts
2 more commits
Base
Asmir Mustafic  
Merge pull request #925 from schmittjoh/no-global-graph-navigator