quoted

quoted

Remove the file entry to this removed file as well.

Oops, I was under the impression I grepped all occurrences, but I have not.

Reviewed-by: Andy Shevchenko <redacted>

Thanks for the catch!

Wolfram, isn't it forgotten somehow?

I can pick it. I refrained from doing so because Lukas explicitly asked
Lee to pick it.