On Thu, Jul 25, 2019 at 5:15 PM Robin Murphy <robin.murphy@xxxxxxx> 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
