On Mon, 13 Mar 2023 at 15:41, Philippe Mathieu-Daudé <phi...@linaro.org> wrote: > Now I wonder again if this is a good time to merge this change set.
No, I don't think it is at this point in the release cycle. I would vote for merging it when we reopen for 8.1, so that we'll have a full cycle to find all the weird corner cases that it breaks. thanks -- PMM