Hello,I have an open MR at https://gitlab.freedesktop.org/xorg/proto/xorgproto/-/merge_requests/64 which is already approved by Keith. What needs to be done so that it get merged?
Also the pipeline seems not to work anymore - I'm pretty sure that's not a result of my change since I only updated the documentation.
Kind regards, Michael.
