Comment # 30 on bug 1190469 from Jiri Slaby

(In reply to Matthias Brugger from comment #28)
> (In reply to Matthias Brugger from comment #27)
> > (In reply to Ivan Ivanov from comment #26)
> > > (In reply to Jiri Slaby from comment #25)
> > > > So is this fix still needed:
> > > >   patches.suse/drm-vc4-hdmi-Fix-HPD-GPIO-detection.patch
> > > 
> > > Just tested on RPi3 without this patch and no HDMI cable connected.
> > > It boots fine. So this is no longer required for original bug reported.
> > > 
> > > Should I send pull request with this patch dropped?
> > 
> > If this fixes the issue without resurrecting bug 1190469 sure :)
> 
> Hahaha, just realized that the fix was for the very same bug. So yes, please
> drop it.

Dropped from stable -- no need to do anything there, unless the result is
broken ;).