On Wed, 5 Jun 2019 12:44:30 +0200
Jehan-Guillaume de Rorthais <jgdr(at)dalibo(dot)com> wrote:
> Just to keep the list up to date, an issue has been opened there:
>
> https://redmine.postgresql.org/issues/4296
For you information, Ken Gaillot adviced me to file a bug on the RH bug tracker
system. So here it is:
https://bugzilla.redhat.com/show_bug.cgi?id=1718201
++