On Wed, 02 Oct 2019 17:25:26 -0700 (PDT) David Miller <davem@xxxxxxxxxxxxx> wrote: > Jon, how do you want to handle changes like this? In whatever way works best. Documentation should make our lives easier, not get in the way :) > I mean, there are unlikely to be conflicts from something like this so it > could simply go via the documentation tree. > > Acked-by: David S. Miller <davem@xxxxxxxxxxxxx> OK, I'll go ahead and apply it, then. Thanks, jon
