On Fri, May 15, 2020 at 12:49:19PM +0200, Magnus Hagander wrote:
> This sounds like something you should report to either the pgadmin people
> or the greenplum people, it definitely is not a bug in PostgreSQL since
> PostgreSQL isn't even involved.
In short, you may want to report an issue on the project page here:
https://github.com/greenplum-db/gpdb/issues
--
Michael