Merge boinc-app-seti (8.00~svn3725-3) import into refs/heads/workingbranch
authorGianfranco Costamagna <locutusofborg@debian.org>
Tue, 5 Jun 2018 22:03:28 +0000 (23:03 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Tue, 5 Jun 2018 22:03:28 +0000 (23:03 +0100)

Trivial merge