On Fri, 1 Mar 2019 at 20:05, Richard Henderson <[email protected]> wrote: > > These 5 extensions are small, and all previous editions have > minor patch conflicts with master. Therefore, rebase them all > together for simplicity. > > > r~ > >
Applied to target-arm.next, thanks. -- PMM
