Merge pull request #11838 from VolunteerComputingHelp/master
authorHannu Nyman <hannu.nyman@iki.fi>
Tue, 14 Apr 2020 19:47:00 +0000 (22:47 +0300)
committerGitHub <noreply@github.com>
Tue, 14 Apr 2020 19:47:00 +0000 (22:47 +0300)
boinc: new upstream version, adjustments


Trivial merge