On Tue, Mar 17, 2020 at 2:39 AM David Steele <david@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.