Re: [PATCH] Documentation: rename addr_in_gen_pool to gen_pool_has_addr

From: Jonathan Corbet
Date: Thu Jan 03 2019 - 11:22:12 EST

On Sat, 29 Dec 2018 09:59:14 +0800
Huang Shijie <sjhuang@xxxxxxxxxxx> wrote:

> Update the document, since we have renamed addr_in_gen_pool to
> gen_pool_has_addr.
> Signed-off-by: Huang Shijie <sjhuang@xxxxxxxxxxx>

So I was looking to apply this, but I don't see anywhere in mainline or
-next where this change has been made...?