[PATCH 1/2] fixup! video: add dw-hdmi driver

[Sascha Hauer]

On Mon, 14 Oct 2024 12:46:43 +0200, Ahmad Fatoum wrote:
> video: dw-hdmi: drop never defined dw_hdmi_remove
> 
> Building without linker garbage collection triggers an error, because
> dw_hdmi_remove is never defined.
> 
> We remove it, but keep dw_hdmi_unbind as a dummy function as it can
> be called by other drivers and then we could make it do something
> useful in future.
> 
> [...]

Applied, thanks!

[1/2] fixup! video: add dw-hdmi driver
      https://git.pengutronix.de/cgit/barebox/commit/?id=3f61bbe2b1f4 (link may not be stable)
[2/2] fixup! video: add dw-hdmi driver
      https://git.pengutronix.de/cgit/barebox/commit/?id=3f61bbe2b1f4 (link may not be stable)

Best regards,
-- 
Sascha Hauer <s.hauer at pengutronix.de>