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. -- James Morris <jmorris at namei.org>