Re: [PATCH] rust: delete rust-project.json when running make clean

[Miguel Ojeda <miguel.ojeda.sandonis@xxxxxxxxx>]

On Sat, Feb 4, 2023 at 6:59 PM Masahiro Yamada <masahiroy@xxxxxxxxxx> wrote:
>
> Miguel,
>
> Are you applying this to your tree,
> or do you want me to pick this up?
>
> For the former case,
>
> Acked-by: Masahiro Yamada <masahiroy@xxxxxxxxxx>

Thanks! I was about to apply it, but let me know if you prefer otherwise.

Cheers,
Miguel