Completed
Pull Request — develop (#3518)
by Michael
103:19 queued 38:15
created
6.8
▶   ± 0
Test Coverage
79%
▶ ±0%
Head
Michael Moravec  
Merge d983c4f84be911148d73d93cd577d303f9c680db into 6daf933d2da89fb01b89c668cb23259e1a28a055
11 more commits
Base
Sergei Morozov  
Merge pull request #3501 from morozov/extract-type-from-comment