Merge boinc-app-seti (8.00~svn3725-2) import into refs/heads/workingbranch
authorGianfranco Costamagna <locutusofborg@debian.org>
Thu, 17 May 2018 08:09:59 +0000 (09:09 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Thu, 17 May 2018 08:09:59 +0000 (09:09 +0100)

Trivial merge