Hi all, After merging the drm tree, today's linux-next build (htmldocs) produced this warning: drivers/gpu/drm/drm_connector.c:1849: warning: bad line: Introduced by commit 7d63cd8526f1 ("drm/connector: Add TV standard property") -- Cheers, Stephen Rothwell