Hi Mark,
Am Dienstag, 16. Februar 2016, 08:44:41 schrieb Mark yao:
Ping, it seems inno hdmi driver is ready, So I'd like to merge it into drm/rockchip if there is no doubt these days.
I think you can just go ahead with picking them up, I think they have ripened enough :-)
Heiko