Hi Andrzej, 2015-09-25 Andrzej Hajda <a.hajda at samsung.com>:
> samsung,exynos5-hdmi compatible was marked as deprecated in Jun 2013.
> It was never used since then.
>
> Signed-off-by: Andrzej Hajda <a.hajda at samsung.com>
> ---
> Documentation/devicetree/bindings/video/exynos_hdmi.txt | 7 +++----
> 1 file changed, 3 insertions(+), 4 deletions(-)
Reviewed-by: Gustavo Padovan <gustavo.padovan at collabora.co.uk>
Gustavo
