Re: [PATCH v2 1/6] rust: error: Rename to_kernel_errno() -> to_errno()

From: Miguel Ojeda
Date: Wed Mar 29 2023 - 18:34:56 EST


On Wed, Mar 29, 2023 at 10:32 PM Gary Guo <gary@xxxxxxxxxxx> wrote:
>
> Thanks Lina for implementing my suggestion.

I will add a `Suggested-by: you` too when I apply this, shout if you
don't want it!

Cheers,
Miguel