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

From: Christoph Hellwig
Date: Tue Jul 03 2018 - 09:39:25 EST


Thanks, folded into the original preempt patch.