Completed
Pull Request — master (#3711)
by
unknown
15:37
created
6.78
▶   ± 0
Test Coverage
76%
▶ ±0%
Head
Paul R Rogers  
Merge 154a9bfc083afac8728c5dcfab81efb5ceda015d into 0d953e583594c86ff7d6867c8b28bfaab5f93255
12 more commits
Base
Marco Pivetta  
Merge pull request #3708 from morozov/issues/3580