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!
From: Bradley Morgan
Date: Sat Aug 01 2026 - 17:26:20 EST