On Mon, 2023-01-09 at 09:14 +0100, Thomas Zimmermann wrote: > Hi, > > what's the status here. The patch apparently never made it into our repos? Thanks for reminding me about this one! December got in the way. It's in drm-misc- fixes now. z