On Thursday, February 22nd, 2024 at 11:32, Simon Ser <[email protected]> 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…)
