Re: [PATCH v7 00/15] Rust pin-init API for pinned initialization of structs

[y86-dev]

Hi Miguel,

could you please change my current email on the patches from
    <y86-dev@xxxxxxxxxxxxxx>
to my new email
    <benno.lossin@xxxxxxxxx>
Please do this for the Signed-off-by tags as well as the actual
git-author. Lina's patch to introduce `UniqueArc::assume_init` has
my Co-developed-by tag, also change the email there.

Much appreciated!

--
Cheers,
Benno