Subject: Re: [PATCH 00/38] net: manually convert files to ReST format - part 1

From: Jonathan Corbet <[email-masked]>
Date: Tue, 28 Apr 2020 14:15:00 -0600

On Tue, 28 Apr 2020 13:11:43 -0700 (PDT)
David Miller <[email-masked]> wrote:

> Jon, do you mind if I merge this via the networking tree?

Not at all, that's what I was expecting you would do.

Thanks,

jon