Messages in this thread | | | Date | Tue, 7 Apr 2020 13:41:47 -0600 | From | Jonathan Corbet <> | Subject | Re: [PATCH] docs: driver-api: address duplicate label warning |
| |
On Mon, 30 Mar 2020 08:01:32 +0200 Lukas Bulwahn <lukas.bulwahn@gmail.com> wrote:
> Delete identically named subsection to fix Documentation warning: > > Documentation/driver-api/w1.rst:11: \ > WARNING: duplicate label driver-api/w1:w1 api internal to the kernel, \ > other instance in Documentation/driver-api/w1.rst > > Signed-off-by: Lukas Bulwahn <lukas.bulwahn@gmail.com> > --- > One of many doc warnings... > Jonathan, this patch is for you.
Applied, thanks.
jon
| |