On Tue, Dec 10, 2024 at 12:10:31AM +0100, Miguel Ojeda wrote:
> On Tue, Dec 10, 2024 at 12:05 AM Jocelyn Falempe wrote:
> >
> > You can merge it through rust-fixes. I have another patch [1] under
> > review that touches this file, but it shouldn't conflict, as the changes
> > are far from this lin
On Tue, Dec 10, 2024 at 12:05 AM Jocelyn Falempe wrote:
>
> You can merge it through rust-fixes. I have another patch [1] under
> review that touches this file, but it shouldn't conflict, as the changes
> are far from this line.
Sounds good, thanks! (But of course please feel free to merge fixes
On 09/12/2024 22:05, Miguel Ojeda wrote:
On Tue, Nov 26, 2024 at 10:04 AM Jocelyn Falempe wrote:
Thanks for this patch, it looks good to me.
Reviewed-by: Jocelyn Falempe
Thanks Jocelyn. I thought DRM would pick this one -- should I pick it
through rust-fixes?
You can merge it through rus
On Tue, Nov 26, 2024 at 10:04 AM Jocelyn Falempe wrote:
>
> Thanks for this patch, it looks good to me.
>
> Reviewed-by: Jocelyn Falempe
Thanks Jocelyn. I thought DRM would pick this one -- should I pick it
through rust-fixes?
Cheers,
Miguel
