Hi Linus,
I noticed after sending the PR that since this morning I have email
delivery problems with lore: "Recipient server unavailable or busy."
That is likely something in between my corporate server and lore, as
messages form other sources are reaching there.
I'm wondering is if my PR reached somehow your inbox and/or if I have
to re-send it.
Thanks!
Paolo
On Thu, 21 Sept 2023 at 07:35, Paolo Abeni <[email protected]> wrote:
>
> I'm wondering is if my PR reached somehow your inbox and/or if I have
> to re-send it.
I got it fine, and just merged it (still going through the build test etc)
Linus
On Thu, 2023-09-21 at 11:30 -0700, Linus Torvalds wrote:
> On Thu, 21 Sept 2023 at 07:35, Paolo Abeni <[email protected]> wrote:
> >
> > I'm wondering is if my PR reached somehow your inbox and/or if I have
> > to re-send it.
>
> I got it fine, and just merged it (still going through the build test etc)
Ah, better! Thank you for the feedback!
Cheers,
Paolo