On Thu, Jul 6, 2023 at 9:26 PM Doug Anderson <dianders@xxxxxxxxxxxx> wrote: > Presumably if we wait a few days things will sort themselves out. If > something needs to happen sooner then we'll have to get the drm-misc > maintainers involved. Probably at this point it makes sense to wait? Yeah there is certainly no hurry :D Yours, Linus Walleij
