On Tue, Apr 25, 2023 at 8:03 AM Thomas Zimmermann <tzimmermann@xxxxxxx> wrote: > You cannot really revert it, as it's too old already. But could you > please try the latest developer tree from > > git://anongit.freedesktop.org/drm/drm-tip > > The branch is drm-tip. Maybe the bug has been fixed meanwhile. If this > also doesn't work, we can take a closer look at the changes. I tried drm-tip, and it did not help. Thanks, Phil
