Hi,
> Could you please remove it from the repo? It shouldn't be needed by
> anything afaict.
It is needed by pgadmin4, that is why I pushed that update.
Regards,
--
Devrim GÜNDÜZ
EnterpriseDB: http://www.enterprisedb.com
PostgreSQL Danışmanı/Consultant, Red Hat Certified Engineer
Twitter: @DevrimGunduz , @DevrimGunduzTR