Hey Michel, On Fri, Jul 7, 2023 at 5:16 PM Michel Dänzer <mic...@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