Re: Incorrect cost for MergeAppend

Wed, 31 Jan 2024 13:01:56 -0800 

On Wed, Jan 31, 2024 at 9:49 PM David Rowley <[email protected]> wrote:
> Pushed to master.
>
> Thanks for the report and the fix, Alexander.

Thank you!

Reply via email to