Am 10.01.23 um 12:49 schrieb Simon Ser: > On Tuesday, November 29th, 2022 at 10:56, Christian König <christian.koenig at amd.com> wrote: > >> Should I also push this? > I can push to drm-misc-next, but is that the suitable repo? I think so, unless you think that this is a necessary bug fix which should be backported. Christian.