On Tue, 11 May 2021 at 15:46, David Rowley <dgrowle...@gmail.com> 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
