On Wed, 7 Dec 2022 16:49:57 +0100 Piergiorgio Beruto wrote:> Andrew, Jakub,> I believe this should address your comments for this patch?> It is a diff WRT patch v5.It does mine, I think, thanks!