On Wed, Dec 12, 2018 at 6:37 PM James Morris <jmorris@xxxxxxxxx> wrote: > On Wed, 12 Dec 2018, Paul Moore wrote: > > > I would much prefer if Miklos sent the revert, but if he doesn't send > > the revert by the end of the week, I'm going to send one next week. > > The revert was posted today. Good news, thanks for the heads-up. I don't watch all the mailing lists, I've just been watching Linus' tree. I don't see it there this morning, but if it was posted yesterday I imagine it will be merged in for -rc7. -- paul moore www.paul-moore.com
