On Wed, Aug 9, 2023 at 10:12 AM David Rowley <dgrowle...@gmail.com> wrote: > > On Fri, 28 Jul 2023 at 02:06, Ashutosh Bapat > <ashutosh.bapat....@gmail.com> wrote: > > 0001 - to measure memory consumption during planning. This is the same > > one as attached to [1]. >
I have started a separate thread to discuss this patch. I am taking this discussion to that thread. -- Best Wishes, Ashutosh Bapat