Hi Alex, On Fri, Apr 28, 2023 at 11:43:26AM +0200, Aleksandar Lazic wrote: > Attached the new patch.
Thank you, it went OK on the CI so we don't even need to refine the list of targets for now. I've just merged it as-is. Many thanks for your fast update and for the reminder! Willy
