On Tue, Jun 10, 2025 at 1:58 PM Andreas Hindborg <a.hindborg@xxxxxxxxxx> wrote:
>
> Yea, sorry. I just changed the kbox file where Benno pointed this out. I
> can change the rest of the places as well.
No worries!
If they are new cases, then I would use the unqualified ones (which
are also in the prelude now), since we are trying to more towards that
(commit 3d5bef5d47c3 ("rust: add C FFI types to the prelude")).
That way we have fewer to clean later on.
Thanks!
Cheers,
Miguel
