Hi Devrim,
On Mon, Oct 9, 2017 at 11:24 AM, Devrim Gündüz <devrim(at)gunduz(dot)org> wrote:
> Done :-) (From now on, please create a ticket here : https://redmine.postgresql
> .org/projects/pgrpms/issues/new for updates, bugs, etc).
Got it -- will do it that way next time.
> Packages will sync to master repo in an hour.
That was quick!
Thanks!
--
Peter Geoghegan