Merge version 8.00~svn3701-1+rpi1 and 8.00~svn3725-2 to produce 8.00~svn3725-2+rpi1

diff --cc debian/changelog
index 569d47f8adc180b866faab2b86bfdbe368e50d6b,285dad3f29e4865d17347caedbd58f2fca19d05f..54187ff3dce28d138f2523d3db45c8556803af4e
--- 1/debian/changelog
--- 2/debian/changelog
+++ b/debian/changelog
@@@ -1,9 -1,23 +1,30 @@@
- boinc-app-seti (8.00~svn3701-1+rpi1) buster-staging; urgency=medium
++boinc-app-seti (8.00~svn3725-2+rpi1) buster-staging; urgency=medium
 +
 +  [changes brought forward from 7.28~svn2633-3+rpi1 by Peter Michael Green <plugwash@raspbian.org> at Sun, 23 Nov 2014 15:14:28 +0000]
 +  * Disable neon
 +
-  -- Raspbian forward porter <root@raspbian.org>  Wed, 27 Sep 2017 02:09:24 +0000
++ -- Raspbian forward porter <root@raspbian.org>  Thu, 24 May 2018 13:30:04 +0000
++
+ boinc-app-seti (8.00~svn3725-2) unstable; urgency=medium
+ 
+   * Fix arm64 build (add again the arm64 patch).
+ 
+  -- Gianfranco Costamagna <locutusofborg@debian.org>  Thu, 17 May 2018 10:09:59 +0200
+ 
+ boinc-app-seti (8.00~svn3725-1) unstable; urgency=medium
+ 
+   * Upload to unstable
+   * Fix build failure due to missing stdio.h include
+ 
+  -- Gianfranco Costamagna <locutusofborg@debian.org>  Wed, 16 May 2018 20:26:24 +0200
+ 
+ boinc-app-seti (8.00~svn3725-1~exp1) experimental; urgency=medium
+ 
+   * New upstream version 8.00~svn3725
+   * Bump std-version to 4.1.0, no changes required.
+   * Try to drop arm64 patch
+ 
+  -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 15 May 2018 19:26:32 +0200
  
  boinc-app-seti (8.00~svn3701-1) unstable; urgency=medium
  

diff --cc debian/patches/series
index 636ace65f7bd9460b523ec954834580b12bc6231,c58bc3141782cbc8134855910514086591a0dbce..24273ca4ca203c318046004e92a969f47d14caeb
--- 1/debian/patches/series
--- 2/debian/patches/series
+++ b/debian/patches/series
@@@ -14,4 -14,4 +14,5 @@@
  isnan-fix.patch
  introduce_lto.patch
  fix-arm64.patch
+ sighandler-build-fix.patch
 +raspbian-remove-neon-analyzeprocs