Hi,
On Tue, 2017-07-04 at 08:58 +0900, Michael Paquier wrote:
> This is not a bug of PostgreSQL itself.
The community packaging bugs can also be reported here, so I don't see a
problem in here.
Regards,
--
Devrim Gündüz
EnterpriseDB: https://www.enterprisedb.com
PostgreSQL Danışmanı/Consultant, Red Hat Certified Engineer
Twitter: @DevrimGunduz , @DevrimGunduzTR