On Tue, 11 May 2021 at 15:46, David Rowley <[email protected]> wrote: > I'll take care of this.
Pushed. David
- 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
