On Tuesday, January 10th, 2023 at 12:53, Christian König <christian.koenig@xxxxxxx> wrote: > Am 10.01.23 um 12:49 schrieb Simon Ser: > > > On Tuesday, November 29th, 2022 at 10:56, Christian König christian.koenig@xxxxxxx 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. Thanks! I pushed it there.
