Re: A minor adjustment to get_cheapest_path_for_pathkeys

[Richard Guo]

On Fri, Sep 8, 2023 at 2:42 AM Robert Haas <robertmh...@gmail.com> wrote:

> Committed.


Thanks for pushing it!

Thanks
Richard