On Sun, Mar 10, 2019 at 3:24 AM Catalin Marinas <[email protected]> wrote: > > Were there any issues with this pull request or you haven't got around > to merging it yet?
All good, just hadn't gotten around to it yet.
Your pull request hadn't come in when I did the first round of
architecture updates, so then it waited until I started doing arch
updates again this morning.
Linus
