Passed
Pull Request — master (#2234)
by Janko
16:37 queued 08:30
created
9.76
▶   ± 0
Test Coverage
38%
▲ +1%   –   Changes
Head
g5bot  
Merge 831a1fb5f8211b7ae7bcb1f2b7c0739d74f1ad3b into 8cd431c7c4c596665b86d86f2df9332287cb22bc
25 more commits
Base
g5bot  
skip initialization if not present