From: Raspbian automatic forward porter <root@raspbian.org>
Date: Fri, 15 Nov 2024 06:17:08 +0000 (+0000)
Subject: Merge version 2.9.0-7+rpi1 and 2.9.0-8 to produce 2.9.0-8+rpi1
X-Git-Tag: archive/raspbian/2.9.0-8+rpi1^0
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=799eed724cce0ef1f5c1f0b1ce62b7340f40c86d;p=dune-common.git

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

799eed724cce0ef1f5c1f0b1ce62b7340f40c86d
diff --cc debian/changelog
index 93af8ed,8412305..2e3fd23
--- a/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