Passed
Pull Request — master (#928)
by Gabriel
03:30 queued 01:04
created

No notable changes

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

6.12
▶   ± 0
Test Coverage
81%
▶ ±0%
Head
Gabriel Caruso  
Merge 38bf9e4bedb0db7e9aa80539ba12b2d9ebbb1856 into f3459192bc3708988a2fd13f746d17fa05d7e4e5
1 more commit
Base
Asmir Mustafic  
Merge pull request #925 from schmittjoh/no-global-graph-navigator