Subject: Re: bug#55499: excessively large manifests due to propagation
From: Ludovic Courtès <[email-masked]>
To: [email-masked]
Cc: Ricardo Wurmus <[email-masked]>
Date: Fri, 01 Jul 2022 23:54:41 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi!

I went ahead and pushed it as 4ff12d1de7cd617b791996ee7ca1240660b4c20e.

Ludo’.