Re: [PATCH] nohz: replace dead select with choice default

From: Bradley Morgan

Date: Sat Aug 01 2026 - 17:26:20 EST


Thanks for the patch Julian.

Please add:

Reviewed-by: Bradley Morgan <include@xxxxxxxxx>

Thanks!