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.
Christian.
