Any progress on this issue?
On Thu, Apr 2, 2020 at 6:21 AM Michael Shapiro <mshapiro51(at)gmail(dot)com> wrote:
> What is the status of https://redmine.postgresql.org/issues/2519?>>>