On Thu, 16 Jan 2020 at 23:08, Richard Henderson <richard.hender...@linaro.org> wrote: > > Thanks to Vincent and Adrien for both reporting the bug and > providing the solution. I've converted their manual testing > into executable tests.
Applied to target-arm.next, thanks (with the commit message for patch 2 tweaked, and the hard-coded tabs in patch 4 changed to spaces). -- PMM