Subject: Re: [PATCH 0/9] Update dune-* to 2.9.1.
From: Felix Gruber <[email-masked]>
To: [email-masked]
Date: Thu, 14 Nov 2024 20:25:47 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

This patchset has become obsolete with bug 74356 which updates the dune 
packages to version 2.10.0.