Re: [PATCH 00/17] Documentation/driver-api: eliminate duplicated words

[Jonathan Corbet]

On Fri,  3 Jul 2020 20:44:45 -0700
Randy Dunlap <rdunlap@xxxxxxxxxxxxx> wrote:

> Remove occurrences of duplicated words in Documentation/driver-api/.

So most of these, it seems, have been picked up elsewhere.  I grabbed #12
and #13; all that's left is the media ones, which I presume Mauro will
take.

Thanks,

jon