Re: [PATCH v2 1/6] rust: error: Rename to_kernel_errno() -> to_errno()
From: Miguel Ojeda
Date: Wed Mar 29 2023 - 18:34:08 EST
On Wed, Mar 29, 2023 at 8:16 PM Martin Rodriguez Reboredo
<yakoyoku@xxxxxxxxx> wrote:
>
> Ah, yes, they were supposed to have my email with it. I wasn't that
> livened up when I sent them.
No problem at all! And thanks for reviewing!
Cheers,
Miguel