| Date | Mon, 13 Jul 2020 11:20:07 -0600 | From | Jonathan Corbet <> | Subject | Re: [PATCH 00/17] Documentation/driver-api: eliminate duplicated words |
| |
On Fri, 3 Jul 2020 20:44:45 -0700 Randy Dunlap <rdunlap@infradead.org> 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
|