Merge version 3.1.3-9+rpi1 and 3.1.3-10 to produce 3.1.3-10+rpi1

diff --cc debian/changelog
index f6ee1f78925edba95fc0f6cf722772e69fc0c04c,16ebe8ddd681f218b5ecb3e38c7e6fc3d8b3a11a..168ac1f3fc7bb8638b55e4f83280c275b5628018
--- 1/debian/changelog
--- 2/debian/changelog
+++ b/debian/changelog
@@@ -1,10 -1,12 +1,20 @@@
- openmpi (3.1.3-9+rpi1) buster-staging; urgency=medium
++openmpi (3.1.3-10+rpi1) buster-staging; urgency=medium
 +
 +  [changes brought forward from 2.1.1-6+rpi1 by Peter Michael Green <plugwash@raspbian.org> at Wed, 05 Jul 2017 00:52:53 +0000]
 +  * Modify arm "detection" for Raspbian.
 +  * Partially fix clean target
 +
-  -- Raspbian forward porter <root@raspbian.org>  Tue, 15 Jan 2019 10:15:41 +0000
++ -- Raspbian forward porter <root@raspbian.org>  Wed, 30 Jan 2019 23:55:37 +0000
++
+ openmpi (3.1.3-10) unstable; urgency=medium
+ 
+   * Remove obsolete debian/TODO comments
+   * Include cleanups of alternatives handling by Andreas Beckmann.
+     Closes: #915025
+   * Add Breaks: libmpich-dev (<< 3.3~b1-5) to libopenmpi-dev as the mpi 
+     alternatives handling changed.
+ 
+  -- Alastair McKinstry <mckinstry@debian.org>  Sun, 20 Jan 2019 13:12:03 +0000
  
  openmpi (3.1.3-9) unstable; urgency=medium