Hi Thomas,
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.
Regards,
--
-David
david(at)pgmasters(dot)net