Hey Michel, On Fri, Jul 7, 2023 at 5:16 PM Michel Dänzer <michel at daenzer.net> wrote: > > Sounds great to me. Hopefully we can merge https://gitlab.freedesktop.org/xorg/xserver/-/merge_requests/1131 before cutting the branch, assuming no major issues with it come up in the meantime. Yes, I have that one in mind :) Cheers Olivier