On Sat, 07 Oct 2023 at 12:47:04 +0200, Helmut Grohne wrote:
> would you consider applying the patch to dsa-puppet.git? It is meant to
> convert trixie and newer chroots to merged-/usr.
This partially reverts my earlier change
<https://salsa.debian.org/dsa-team/mirror/dsa-puppet/-/commit/b54f52d2899c5785923c804fdfbba0782c147da4>.
I confirm that the change Helmut proposes is now appropriate.
Thanks,
smcv