5 Aug
2019
5 Aug
'19
10:18 a.m.
On Thu, Jul 25, 2019 at 5:15 PM Robin Murphy robin.murphy@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