Passed
Pull Request — master (#2234)
by Janko
16:52 queued 09:20
created
9.76
▶   ± 0
Test Coverage
38%
▲ +1%   –   Changes
Head
g5bot  
Merge d4996173c5c9b8e1e5d5b9164362e910650dd678 into 8cd431c7c4c596665b86d86f2df9332287cb22bc
32 more commits
Base
g5bot  
skip initialization if not present