On Thu, Jul 7, 2022 at 7:05 AM Richard Henderson <richard.hender...@linaro.org> wrote: > > On 7/7/22 09:33, John Snow wrote: > > 18.04 has fallen out of our support window, so move ubuntu.aarch64 > > forward to ubuntu 20.04, which is now our oldest supported Ubuntu > > release. > > Ah. Squash with patch 5?
Can do. I left it split for testing purposes, but if we want both patches I can merge them. (Testing all of this was a nightmare.) --js