On Tue, Mar 17, 2020 at 2:39 AM David Steele <da...@pgmasters.net> wrote: > On 1/26/20 7:03 PM, Thomas Munro wrote: > > Fair point. I will look into that. > > Are you still planning on looking at this patch for PG13? > > Based on the current state (002 abandoned, 001 needs total rework) I'd > say it should just be Returned with Feedback or Closed for now.
When you put it like that, yeah :-) I marked it returned with feedback. Thanks Melanie and Rafia for the reviews so far, and I'll be back with a new version for PG14.