On Thursday, February 22nd, 2024 at 11:34, Simon Ser <contact@xxxxxxxxxxx> wrote: > On Thursday, February 22nd, 2024 at 11:32, Simon Ser contact@xxxxxxxxxxx wrote: > > > Thanks, pushed to drm-misc-next! > > As I write this, I realize I should've pushed the first patch to > drm-misc-fixes instead… Sorry about the fuss… > > Sima, Dave, what is the right thing to do here? Push a duplicate commit > to drm-misc-fixes? (I know that's not a great thing to do…) I've cherry-picked the fix to drm-misc-fixes with Maxime's ACK.
