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
