On Thu, Jul 25, 2019 at 5:15 PM Robin Murphy <robin.mur...@arm.com> wrote:

> Given that the property is optional anyway, would it hurt to just remove
> it? After trying to dig up any relevant internal email history, it's
> still far from clear how and why it got here in the first place.

Isn't it just my sloppy copy-paste when fixing up the device trees
for the DRM transition? I agree it should just be removed.

Yours,
Linus Walleij
_______________________________________________
dri-devel mailing list
dri-devel@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/dri-devel

Reply via email to