Re: [PATCH] arch/Kconfig: use a menu to reduce clutter

[Christoph Hellwig]

On Tue, Jul 03, 2018 at 03:39:59PM +0200, Christoph Hellwig wrote:
> Thanks, folded into the original preempt patch.

Err, that was for the next patch.  I'll just apply this as-is.