Re: [GIT PULL for v4.21] second set of media patches: ipu3 driver
From: Linus Torvalds
Date: Tue Dec 25 2018 - 16:13:29 EST
On Thu, Dec 20, 2018 at 4:45 AM Mauro Carvalho Chehab
> Also, it would be good if you merge first the docs-next pull request from
> Jon, as otherwise, you'll see some warnings when building documentation,
> due to an issue at scripts/kernel-doc, whose fix is at documentation tree.
I don't seem to have that in my pile of pull requests, so docs
creation will warn for a bit. Not a huge deal.