Merge version 2.9.0-7+rpi1 and 2.9.0-8 to produce 2.9.0-8+rpi1

diff --cc debian/changelog
index 93af8ed19a24f62b48ed5953261d65c194a49c5d,8412305134f66c8ddc94a1066a58b690c8bddaa8..2e3fd233de8f2694556256b2c6fc75c800ee6cc0
--- 1/debian/changelog
--- 2/debian/changelog
+++ b/debian/changelog
@@@ -1,9 -1,9 +1,16 @@@
- dune-common (2.9.0-7+rpi1) trixie-staging; urgency=medium
++dune-common (2.9.0-8+rpi1) trixie-staging; urgency=medium
 +
 +  [changes brought forward from 2.7.0-5+rpi1 by Peter Michael Green <plugwash@raspbian.org> at Tue, 21 Jul 2020 02:56:28 +0000]
 +  * Disable testsuite.
 +
-  -- Raspbian forward porter <root@raspbian.org>  Fri, 18 Oct 2024 19:44:45 +0000
++ -- Raspbian forward porter <root@raspbian.org>  Fri, 15 Nov 2024 06:17:08 +0000
++
+ dune-common (2.9.0-8) unstable; urgency=medium
+ 
+   * d/dune-debian.env: Use new OpenMPI 5 environment variables
+       to allow oversubscription and set the SSH agent. Closes: #1086864
+ 
+  -- Markus Blatt <markus@dr-blatt.de>  Thu, 07 Nov 2024 16:59:08 +0100
  
  dune-common (2.9.0-7) unstable; urgency=medium