Re: [PATCH v5] alpha: Clean-up the panic notifier code

From: Guilherme G. Piccoli
Date: Fri Oct 20 2023 - 10:07:37 EST


On 20/10/2023 09:53, Petr Mladek wrote:
> [...]

OK, thanks folks! I'll resubmit without the includes change =)

Cheers!