> ...but it looks like v3 was merged as-is in the end, without this fixup. > Is there some separate patch in the pipeline, or was this forgotten? This is a result of the trees diverging which we discussed earlier. I sent a fix.