Nilesh Patra, Dec 06, 2023 at 16:44:
My understanding is that we can maybe ignore the CI here.

Hey Nilesh,

thanks for looking at this. Unless you see something wrong I think it is good for another attempt at NEW.

Cheers!

Reply via email to