On Tue, May 11, 2021 at 12:57 PM David Rowley <[email protected]> wrote: > > On Tue, 11 May 2021 at 15:46, David Rowley <[email protected]> wrote: > > I'll take care of this. > > Pushed.
Thank you. -- Amit Langote EDB: http://www.enterprisedb.com
- update/delete and execution-time partition pruning Amit Langote
- Re: update/delete and execution-time partition pruning David Rowley
- Re: update/delete and execution-time partition pruni... David Rowley
- Re: update/delete and execution-time partition p... Amit Langote
