Completed
Push — master ( 142e0e...baa4e8 )
by Vitalii
48s queued 14s
created

No notable changes

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

7.17
▶   ± 0
Head
Vitalii Koshura  
Merge pull request #6562 from BOINC/vko_improve_coverity_build
1 more commit
Base
Vitalii Koshura  
Merge pull request #6561 from BOINC/vko_fix_coverity_build