On Tue, Aug 29, 2023 at 07:46:35PM +0200, Andrea Righi wrote: > On Tue, Aug 29, 2023 at 10:30:55AM -0700, Lucas De Marchi wrote: > In conclusion I think we should be pretty safe for now by just changing > gz and zstd. > > Maybe having two separate patches is better (in case we need to revert > just one for any reason...)? Yes, that is why I already merged your zstd patch. If things do blow up the collateral is smaller. Luis
