On Tue, 13 Jul 2021 at 12:01, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:
> I plan on pushing the patch to master and PG14 in 24 hours time. If
> anyone is still on the fence or wishes to object to the name, please
> let it be known before then.
Renaming complete. Result Cache is gone. Welcome Memoize.
David