On Tue, Nov 29, 2022 at 03:09:35PM +0100, Francesco Dolcini wrote: > From: Stefan Eichenberger <stefan.eichenberger@xxxxxxxxxxx> > > Add hot plug detect gpio to the HDMI connector. > > Signed-off-by: Stefan Eichenberger <stefan.eichenberger@xxxxxxxxxxx> > Signed-off-by: Francesco Dolcini <francesco.dolcini@xxxxxxxxxxx> Applied, thanks!
