2017-11-17 11:54 GMT+01:00 Devrim Gündüz <dev...@gunduz.org>: > > Hi, > > [Removed my email address in the OP, which I am not using since 2010 ;) ] > > On Thu, 2017-11-16 at 17:13 -0600, Merlin Moncure wrote: > > This would be great package for inclusion in pgdg packaging as well. > > I released this package on Sep 15th, but just noticed the latest version. > Pavel > usually creates tickets to ping me, so we are usually up-to-date. The > updated > packages will appear in the repos around 30 mins later. >
aha I though so you have some automatic new gihub release detection. Regards Pavel > Regards, > -- > Devrim Gündüz > EnterpriseDB: https://www.enterprisedb.com > PostgreSQL Consultant, Red Hat Certified Engineer > Twitter: @DevrimGunduz , @DevrimGunduzTR
