Re: [PATCH] rust: enable `clippy::ptr_as_ptr` lint
From: Miguel Ojeda
Date: Fri Mar 14 2025 - 11:23:25 EST
On Thu, Mar 13, 2025 at 1:41 AM Philip Li <philip.li@xxxxxxxxx> wrote:
>
> Sorry about this, I will implement this to make it clear asap.
The bot is great -- thanks for all the resources you have put so far into it :)
Cheers,
Miguel