Passed
Pull Request — master (#5797)
by David
09:48
created

No notable changes

There were no notable changes in the changeset which was inspected.

7.17
▶   ± 0
Head
David Anderson  
Merge 71973ee95f67cf481e1f82956a7e406b15e01934 into 415efaaa44310b2a3b361aac143e82075b5fcc91
2 more commits
Base
Vitalii Koshura  
Merge pull request #5796 from BOINC/dpa_coverity_426653