Re: [GIT PULL] UML updates for 5.1-rc1

[Linus Torvalds]

On Fri, Mar 15, 2019 at 3:01 PM Richard Weinberger
<richard.weinberger@xxxxxxxxx> wrote:
>
> *kind ping* to make sure this PR is not lost. :-)
> I guess you skipped this one too after the git.infradead.org outage.

Right you are. Thanks for the ping,

                Linus