Completed
Pull Request — master (#3711)
by
unknown
65:53
created
6.7
▶   ± 0
Test Coverage
76%
▶ ±0%
Head
Paul R Rogers  
Merge 9b21a125669e56296f9fd4fa338b24c5892014aa into 7be002cc478ebf70dc9c261b9e8dec225e9d8c2a
22 more commits
Base
Sergei Morozov  
Merge pull request #3760 from BenMorel/no_develop